Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\)

DOI10.1023/A:1009405624178zbMath1010.68080OpenAlexW160587589MaRDI QIDQ5942109

Yu. V. Kapitonova, Anatoli N. Chebotarev

Publication date: 2000

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009405624178

zbMATH Keywords

inductive synthesis of automatareactive algorithms

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Design of reactive algorithms by solving equations over automata ⋮ Unnamed Item

This page was built for publication: Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\)