language_inclusion_bounded (283B)
1 # Language inclusion bounded 2 3 Given two [formal_languages] L_1 and L_2, and a length k, is it true that L_1 cap Sigma^{\leq k} is included in L2 cap Sigma^{\leq k}? 4 5 studied in [axelsson2008analyzing] 6 7 Up: [language_inclusion], [bounded_problem] 8 9 Aliases: bounded language inclusion