The following pages link to Büchi context-free languages (Q627181):
Displaying 5 items.
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- MSO-definable Properties of Muller Context-Free Languages Are Decidable (Q2829973) (← links)
- OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs (Q5247171) (← links)
- ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS (Q5495418) (← links)
- THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE (Q5495420) (← links)