Grail swMATH ID: 374 Software Authors: Raymond, Darrell; Wood, Derick Description: Grail is a symbolic computation environment for finite-state machines, regular expressions, and other formal language theory objects. Using Grail, one can input machines or expressions, convert them from one form to the other, minimize, make deterministic, complement, and perform many other operations. Grail is intended for use in teaching, for research into the properties of machines, and for efficient computation with machines. Grail is written in C++. It can be accessed either through a process library or through a C++ class library. Version 2.4 of Grail enables you to manipulate parameterizable finite-state machines and regular expressions. By ‘parameterizable’, we mean that the alphabet is not restricted to the usual twenty-six letters and ten digits. Instead, all algorithms are written in a type-independent manner, so that any valid C++ base type and any user-defined type or class can define the alphabet of a finite-state machine or regular expression. Version 2.4 of Grail supports Mealy machines. Homepage: https://www.sciencedirect.com/science/article/pii/S0747717184710236 Related Software: AUTOMATE; AMoRE; Walnut; GitHub; OEIS; Python; GUItar; FAdo; Vaucanson; OpenFst; MONA; Rex; NuSMV; Grail; KRAKATOA; Isabelle/HOL; Quicksort Cited in: 20 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Grail: A C++ library for automata and expressions. Zbl 0942.68803Raymond, Darrell; Wood, Derick 1994 all top 5 Cited by 43 Authors 6 Shallit, Jeffrey O. 3 Wood, Derick 2 Ackerman, Margareta 2 Albert, Jürgen 2 Giammarresi, Dora 1 Allouche, Jean-Paul Simon 1 Aspinall, David 1 Bell, Jason P. 1 Beringer, Lennart 1 Champarnaud, Jean-Marc 1 Cimatti, Alessandro 1 Colbourn, Charles J. 1 Duchamp, Gerard Henry Edmond 1 Flouret, Marianne 1 Gruber, Hermann 1 Hofmann, Martin 1 Holzer, Markus 1 Knuutila, Timo 1 Konstantinidis, Stavros 1 Laugerotte, Éric 1 Lidbetter, Thomas F. 1 Loidl, Hans-Wolfgang 1 Luque, Jean-Gabriel 1 Meijer, Casey 1 Momigliano, Alberto 1 Moreira, Nelma 1 Mover, Sergio 1 Pachl, Jan K. 1 Rampersad, Narad 1 Raymond, Darrell 1 Reis, Rogério 1 Retoré, Christian 1 Rom-Kedar, Vered 1 Roveri, Marco 1 Salomaa, Kai T. 1 Salvati, Sylvain 1 Schwoon, Stefan 1 Segel, Lee Aaron 1 Shochat, Eliezer 1 Syrotiuk, Violet R. 1 Tonetta, Stefano 1 Wu, Xiuming 1 Yu, Sheng all top 5 Cited in 7 Serials 8 Theoretical Computer Science 1 Information Processing Letters 1 Bulletin of Mathematical Biology 1 Journal of Symbolic Computation 1 International Journal of Foundations of Computer Science 1 Journal of Logic, Language and Information 1 Theory of Computing Systems all top 5 Cited in 6 Fields 19 Computer science (68-XX) 3 Number theory (11-XX) 2 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year