bounded_problem (258B)
1 # Bounded problem 2 3 studied in [axelsson2008analyzing] 4 5 - [language_inclusion_bounded] 6 - [language_equivalence_bounded] 7 - [language_intersection_bounded] 8 - [language_universality_bounded] 9 - [CFG_ambiguity_bounded] 10 11 Up: [formal_language_computational_problem]