scientific article; zbMATH DE number 3870596

MaRDI QIDQ3336694zbMATH OpenFDO

Authors Teruyasu Nishizawa

Publication date 1984

zbMATH Keywords

automaton programsprogram synthesisregular functional expressions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Recommendations

• Partial derivatives of regular expressions and finite automaton constructions
• From regular expressions to deterministic automata
• Partial derivatives of regular expressions and finite automata constructions
• Note sulla derivata di un programma
• Canonical derivatives, partial derivatives and finite automaton constructions.

Cited in

(6)

• Note sulla derivata di un programma
• Polynomial functors constrained by regular expressions
• scientific article; zbMATH DE number 4062640 (Why is no real title available?)
• \textsf{LCC}-program transformers through Brzozowski's equations
• Monadic Expressions and Their Derivatives
• Monadic expressions and their derivatives

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