scientific article; zbMATH DE number 4201644

zbMATH Open0727.68069MaRDI QIDQ3350779FDOQ3350779

Authors: André Arnold 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

directed graphshomomorphismtransition functiontree automatonrecognizable set

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• On the recognition of \(S\)-systems
• Weighted automata and multi-valued logics over arbitrary bounded lattices

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)