Automata and formal languages
No articlesSubsequenceDeterministic automatonLongest common subsequence problemLongest common substring problemLongest increasing subsequence problemSubstring searchKleene's algorithmDeterministic acyclic finite state automatonLog space transducerCommunicating x machineExtended finite state machineStream x machineWang tileX machineX machine testingBuchi elgot trakhtenbrot theoremChomsky schutzenberger enumeration theoremChomsky schutzenberger representation theoremLocal language formal languageNormal form abstract rewritingPattern language formal languagesProduction computer scienceTree automata theoryGrammar checker+ 2 more
No articles in this category yet — they're coming.