First Page | Document Content | |
---|---|---|
![]() Date: 2011-09-27 14:42:30Applied mathematics Automata theory EXPSPACE Regular language Regular expression Model theory PSPACE-complete FO Symbol Theoretical computer science Formal languages Complexity classes | Add to Reading List |