scientific article; zbMATH DE number 3570363

MaRDI QIDQ4140913zbMATH OpenFDO

Authors Michael A. Harrison

Publication date 1974

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Extension of the automaton specification logical language and the synthesis problem
• Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\)
• Linguistic processor of an expert system for building design
• Synthesis of a procedural representation of an automaton specified in the logical language \({\mathfrak L}^*\). I
• Abstract language design

Cited in

(4)

• A matrix-linguistic method of analyzing finite discrete dynamic systems
• Linguistic processor of an expert system for building design
• Cyber-physical systems: the linguistic aspect
• scientific article; zbMATH DE number 194178 (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 Q4140913)