scientific article; zbMATH DE number 1455624

MaRDI QIDQ4485145zbMATH OpenFDO

Authors Mikhail Moshkov

Publication date 5 June 2000

zbMATH Keywords

regular languagesrecognition of words

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Recognizable vs. Regular Picture Languages
• A decidable characterization of locally testable tree languages
• On the decision tree depth
• Decision lists over regular patterns.
• A Decidable Characterization of Locally Testable Tree Languages

Cited in

(2)

• Verified decision procedures for MSO on words based on derivatives of regular expressions
• scientific article; zbMATH DE number 2211807 (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 Q4485145)