LANGAGE

From MaRDI portal
Software:13257



swMATH501MaRDI QIDQ13257


No author found.





Related Items (38)

Some properties of Ising automataUnnamed ItemUnnamed ItemUnnamed ItemObtaining shorter regular expressions from finite-state automataSeries parallel digraphs with loopsUnnamed ItemBeyond operator-precedence grammars and languagesEfficient weighted expressions conversionUnnamed ItemOn the descriptional complexity of stateless deterministic ordered restarting automataSampling different kinds of acyclic automata using Markov chainsA characterization of Thompson digraphs.Acyclic automata and small expressions using multi-tilde-bar operatorsUnnamed ItemAlgorithms finding the order of local testability of deterministic finite automaton and estimations of the orderReducing the Time Complexity of Testing for Local Threshold TestabilityGeneralizations of 1-deterministic regular languagesMore concise representation of regular languages by automata and regular expressionsExecution monitoring enforcement under memory-limitation constraintsAcyclic networks maximizing the printing complexityReducing the time complexity of testing for local threshold testabilityDerivatives of rational expressions with multiplicityMulti-tilde-bar expressions and their automataHow expressions can code for automataA New Family of Regular Operators Fitting with the Position Automaton ComputationNon-erasing Chomsky-Schützenberger theorem with grammar-independent alphabetWeak Inclusion for XML TypesRandom Generation of Deterministic Acyclic Automata Using Markov ChainsMulti-tilde Operators and Their Glushkov AutomataPosition Automaton Construction for Regular Expressions with IntersectionSmall Extended Expressions for Acyclic AutomataAutomata and rational expressionsFamilies of locally testable languagesOptimal estimation on the order of local testability of finite automataCharacterization of Glushkov automataThe Bottom-Up Position Tree Automaton and the Father AutomatonOn the hierarchy of generalizations of one-unambiguous regular languages


This page was built for software: LANGAGE