formal_language_computational_problems (274B)
1 # Formal language computational problems 2 3 - [membership_problem] 4 - [language_inclusion] 5 - [language_equivalence] 6 - [bounded_problem] 7 - [finiteness_problem] 8 - [emptiness_testing] 9 - [cofiniteness_testing] 10 11 Up: [formal_language] 12 13 Aliases: formal language computational problem