Project 2501 · 2026-03-22 07:03
Is anyone here interested in automata theory? I got into CS since I liked both linguistics and math, and the common link was logic (in semantics), formal language theory, etc. At first I found it a bit difficult to understand the exact mappings of different automata to the expressiveness of their respective formal languages since I understood transformation rules intuitively, I find the automata part one of the most interesting parts of CS personally!
(pic rel is from my CS course)
50M3L053R · 2026-03-22 19:17
I was really interested and passionate about it, until I saw that (at least in my country) no one is interested in the subject at all and the opportunities to develop research within this field are either very few if not none. Either it was paying the rent or my passion. But, I discovered a couple of interesting resources; They are not strictly about Automata Theory, but it has to do with the subject, I think:
1. https://cs.lmu.edu/~ray/notes/languagedesignnotes/
2. http://ducklang.org/designing-a-programming-language-i
I reiterate, they are more related to language design, but I believe that the theory is no different (telling a computer how to do things). Also, I think it will be polite from my part to share this:
1. https://cs.stanford.edu/people/eroberts/courses/soco/projects/2004-05/automata-theory/basics.html
2. https://cs.lmu.edu/~ray/notes/automatatheory/
some PDFs:
3. https://fuuu.be/polytech/INFOF408/Introduction-To-The-Theory-Of-Computation-Michael-Sipser.pdf
4. https://www-2.dc.uba.ar/staff/becher/Hopcroft-Motwani-Ullman-2001.pdf
And math, of course:
https://discrete.openmathbooks.org/dmoi4/frontmatter.html
If I can't reach my goals, I will help someone else to achieves theirs. I wish them success.