scientific article; zbMATH DE number 4078822

MaRDI QIDQ3809280zbMATH OpenFDO

Authors A. S. Podkolzin, Š. M. Ušćumlić

Publication date 1988

zbMATH Keywords

finite automatonregular expressionssynthesis of automata schemes

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 3165536
• Analysis and synthesis of abstract automata
• scientific article; zbMATH DE number 3874625
• scientific article; zbMATH DE number 2185688
• Synthesis with finite automata
• Automaton synthesis from a nonformal specification
• scientific article; zbMATH DE number 2079815
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 3249789

Cited in

(14)

• Automaton synthesis from a nonformal specification
• Self-correcting constructions of finite automata
• On the synthesis of minimal sources
• scientific article; zbMATH DE number 3846884 (Why is no real title available?)
• scientific article; zbMATH DE number 3854427 (Why is no real title available?)
• scientific article; zbMATH DE number 3854430 (Why is no real title available?)
• scientific article; zbMATH DE number 3880600 (Why is no real title available?)
• scientific article; zbMATH DE number 4166870 (Why is no real title available?)
• scientific article; zbMATH DE number 4061217 (Why is no real title available?)
• scientific article; zbMATH DE number 4074488 (Why is no real title available?)
• scientific article; zbMATH DE number 4074501 (Why is no real title available?)
• scientific article; zbMATH DE number 14487 (Why is no real title available?)
• scientific article; zbMATH DE number 3581614 (Why is no real title available?)
• Automated Generation of BSP Automata

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 Q3809280)