scientific article; zbMATH DE number 4201644

MaRDI QIDQ3350779zbMATH OpenFDO

Authors André Arnold

Publication date 1990

zbMATH Keywords

directed graphshomomorphismtransition functiontree automatonrecognizable set

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• Publication:4734769
• scientific article; zbMATH DE number 2079818
• GSOS and finite labelled transition systems
• On automata recognizing birecurrent sets
• A classification of symbolic transition systems
• scientific article; zbMATH DE number 1500504
• scientific article; zbMATH DE number 6936858
• Algorithmic recognizability of the finiteness property of finite-definite systems
• Monoid-labeled transition systems

Cited in

(3)

• On the recognition of \(S\)-systems
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• scientific article; zbMATH DE number 4121455 (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 Q3350779)