Interactive manipulation of regular objects with FAdo (2005)

Cached

Download Links

by Nelma Moreira
Venue:In Proceedings of 2005 Innovation and Technology in Computer Science Education (ITiCSE 2005). ACM
Citations:10 - 7 self

Documents Related by Co-Citation

5 wxWidgets 2.6.3: A portable C++ and Python GUI toolkit – Julian Smart, Robert Roebling, Vadim Zeitlin, Robin Dunn - 2006
7 FAdo and GUItar: tools for automata manipulation and visualization – André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis - 2009
3843 Introduction to Automata Theory, Languages, and Computation (2nd Edition – R M J E Hopcroft, J Ullman - 2000
6 Enumeration of finite automata – F Harary, E Palmer - 1967
28 On the Number of Distinct Languages Accepted by Finite Automata with n States – Michael Domaratzki, Derek Kisman, Jeffrey Shallit - 2001
4 On the density of languages representing finite set partitions – Nelma Moreira, Rogério Reis - 2005
17 Counting strongly connected finite automata – R W Robinson
9 Combinatorial interpretations of a generalization of the Genocchi numbers – Michael Domaratzki
283 An n · log n algorithm for minimizing the states in a finite automaton – J E Hopcroft - 1971
15 JFLAP - an interactive formal languages and automata package – S Rodger, T Finley - 2006
42 Minimal NFA problems are hard – T Jiang, B Ravikumar - 1993
93 Regular expressions and state graphs for automata – R McNaughton, H Yamada - 1960
43 Regular expressions: new results and open problems – K Ellul, B Krawetz, J Shallit, M-W Wang - 2005
2 Génération aléatoire et structure des automates à états finis – Thomas Paranthoën - 2004
631 The Encyclopedia of Integer Sequences – N. J. A. Sloane
16 Enumeration and generation with a string automata representation – Marco Almeida, Nelma Moreira, Rogério Reis - 2007
15 Generating words in a context-free language uniformly at random – H G Mairson
2 The Java Computability Toolkit, A Java-based Tool for Models of Computation, A Masters Thesis Presented to Department of Computer Science SUNY Institute of Technology at Utica/Rome – B Robinson - 1998
19 A linear algorithm for testing equivalence of finite automata – J Hopcroft, R M Karp - 1971