universality_automata_pushdown (202B)
1 # Universality automata pushdown 2 3 - [universality_automata_pushdown_nondeterministic] is [undecidable] 4 - [universality_automata_pushdown_deterministic] 5 6 Up: [universality_automata], [pushdown_automata]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |