Huet, Gérard 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 \textit{G. Huet}, Lect. Notes Comput. Sci. 2772, 359--372 (2003; Zbl 1274.68051) Full Text: DOI