×

Automata mista. (English) Zbl 1274.68051

Dershowitz, Nachum (ed.), Verification: Theory and practice. Essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer (ISBN 3-540-21002-4/pbk). Lecture Notes in Computer Science 2772, 359-372 (2003).
Summary: We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as finite-state process descriptions. We use as algorithmic description language Pidgin ML, a core applicative subset of Objective Caml.
For the entire collection see [Zbl 1045.68009].

MSC:

68N18 Functional programming and lambda calculus
68Q45 Formal languages and automata

Software:

OCaml; Zen; Pidgin ML
PDFBibTeX XMLCite
Full Text: DOI