LANGAGE

LANGAGE: A Maple package for automaton characterization of regular languages LANGAGE is a set of procedures for deciding whether or not a language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable, or strongly locally testable. New polynomial algorithms are implemented for the two last properties. This package is written using the symbolic computation system Maple. It works with AG, a set of Maple packages for processing automata and finite semigroups.


References in zbMATH (referenced in 38 articles , 1 standard article )

Showing results 1 to 20 of 38.
Sorted by year (citations)

1 2 next

  1. Attou, Samira; Mignot, Ludovic; Ziadi, Djelloul: The bottom-up position tree automaton and the father automaton (2020)
  2. Crespi Reghizzi, Stefano; Pradella, Matteo: Beyond operator-precedence grammars and languages (2020)
  3. Arulprakasam, R.; Dare, V. R.; Gnanasekara, S.: Deterministic fuzzy automaton on subclasses of fuzzy regular (\omega)-languages (2019)
  4. Crespi Reghizzi, Stefano; San Pietro, Pierluigi: Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet (2019)
  5. Otto, Friedrich; Kwee, Kent: On the descriptional complexity of stateless deterministic ordered restarting automata (2018)
  6. Caron, Pascal; Mignot, Ludovic; Miklarz, Clément: On the hierarchy of generalizations of one-unambiguous regular languages (2017)
  7. Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério: Position automaton construction for regular expressions with intersection (2016)
  8. Gulan, Stefan: Series parallel digraphs with loops (2013)
  9. Carnino, Vincent; De Felice, Sven: Sampling different kinds of acyclic automata using Markov chains (2012)
  10. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Multi-tilde-bar expressions and their automata (2012)
  11. Amavi, Joshua; Chabin, Jacques; Halfeld Ferrari, Mirian; Réty, Pierre: Weak inclusion for XML types (2011)
  12. Carnino, Vincent; De Felice, Sven: Random generation of deterministic acyclic automata using Markov chains (2011)
  13. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Acyclic automata and small expressions using multi-tilde-bar operators (2010)
  14. Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice: More concise representation of regular languages by automata and regular expressions (2010)
  15. Gnanasekaran, S.: Fuzzy local languages (2010)
  16. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Small extended expressions for acyclic automata (2009)
  17. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: A new family of regular operators fitting with the position automaton computation (2009)
  18. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Multi-tilde operators and their Glushkov automata (2009)
  19. Han, Yo-Sub; Wood, Derick: Generalizations of 1-deterministic regular languages (2008)
  20. Ouardi, Faissal; Ziadi, Djelloul: Efficient weighted expressions conversion (2008)

1 2 next