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 33 articles , 1 standard article )

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

1 2 next

  1. Otto, Friedrich; Kwee, Kent: On the descriptional complexity of stateless deterministic ordered restarting automata (2018)
  2. Caron, Pascal; Mignot, Ludovic; Miklarz, Clément: On the hierarchy of generalizations of one-unambiguous regular languages (2017)
  3. Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério: Position automaton construction for regular expressions with intersection (2016)
  4. Gulan, Stefan: Series parallel digraphs with loops (2013)
  5. Carnino, Vincent; De Felice, Sven: Sampling different kinds of acyclic automata using Markov chains (2012)
  6. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Multi-tilde-bar expressions and their automata (2012)
  7. Amavi, Joshua; Chabin, Jacques; Halfeld Ferrari, Mirian; Réty, Pierre: Weak inclusion for XML types (2011)
  8. Carnino, Vincent; De Felice, Sven: Random generation of deterministic acyclic automata using Markov chains (2011)
  9. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Acyclic automata and small expressions using multi-tilde-bar operators (2010)
  10. Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice: More concise representation of regular languages by automata and regular expressions (2010)
  11. Gnanasekaran, S.: Fuzzy local languages (2010)
  12. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Small extended expressions for acyclic automata (2009)
  13. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: A new family of regular operators fitting with the position automaton computation (2009)
  14. Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic: Multi-tilde operators and their Glushkov automata (2009)
  15. Han, Yo-Sub; Wood, Derick: Generalizations of 1-deterministic regular languages (2008)
  16. Ouardi, Faissal; Ziadi, Djelloul: Efficient weighted expressions conversion (2008)
  17. Talhi, Chamseddine; Tawbi, Nadia; Debbabi, Mourad: Execution monitoring enforcement under memory-limitation constraints (2008)
  18. Han, Yo-Sub; Wood, Derick: Obtaining shorter regular expressions from finite-state automata (2007)
  19. Lombardy, Sylvain; Sakarovitch, Jacques: Derivatives of rational expressions with multiplicity (2005)
  20. Lombardy, Sylvain; Sakarovitch, Jacques: How expressions can code for automata (2005)

1 2 next