Skip to content

Conversation

stfwn
Copy link

@stfwn stfwn commented Jul 31, 2018

Cleaned up the automata diagrams a bit. They should be the semantically identical to the originals.

base-automaton
bracket-automaton

@ianh
Copy link
Owner

ianh commented Jul 31, 2018

Thanks for looking into this! What did you use to make these diagrams? I think this is the kind of change I'd ultimately like to make myself, so I know how to update the diagrams if I need to later.

@stfwn
Copy link
Author

stfwn commented Jul 31, 2018

It's a LaTeX package called TikZ. It's pretty easy to use (as far as powerful LaTeX packages go). It was the package to use for a course in university and it's pretty versatile with configuring everything, so it should be future proof :-).

I added the .tex source file for the diagrams I exported so you can easily make changes later.

Copy link

@soobinrho soobinrho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 Although this PR is from a few years ago, it looks good!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants