scientific article; zbMATH DE number 4043282

MaRDI QIDQ3780468zbMATH OpenFDO

Authors Qingquan Guo

Publication date 1987

zbMATH Keywords

ultralinear languages\(\omega \)-push-down automata\(\omega \)-ultralinear grammarsfinite-turn \(\omega \)-context-free languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 4114062
• scientific article; zbMATH DE number 4045202
• scientific article; zbMATH DE number 4114061
• On the generative power of \(\omega \)-grammars and \(\omega \)-automata
• Weightreducing grammars and ultralinear languages

Cited in

(13)

• Index sets for ω‐languages
• Language-theoretical representations of \(\omega\)-languages
• The determinacy strength of pushdownω-languages
• Weightreducing grammars and ultralinear languages
• scientific article; zbMATH DE number 5074397 (Why is no real title available?)
• scientific article; zbMATH DE number 4114062 (Why is no real title available?)
• Computer Aided Verification
• Refined Bounds on Kolmogorov Complexity for ω-Languages
• scientific article; zbMATH DE number 4088952 (Why is no real title available?)
• Logic for \(\omega\)-pushdown automata
• scientific article; zbMATH DE number 4045202 (Why is no real title available?)
• scientific article; zbMATH DE number 3988741 (Why is no real title available?)
• scientific article; zbMATH DE number 4114061 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3780468)