I am highly interested in the automata theory section. Please write to me if you have suggestions for improvements or ideas for adding new pages.

After editing 20+ articles related to Automata theory, I have decided the following conventions. I hope other editors will follow the convention.

  • w denotes a word.
  • A word starts with index 1 and not with 0. For example, w=a1,a2,a3,...
  • However, a run of states start with intex 0.
  • Default reading any type of automaton is non-deterministic.
  • L(A) is the language recognized by automaton A.
  • ε is the empty word