swMATH374MaRDI QIDQ13134FDOQ13134
Author name not available (Why is that?)
Official website: https://www.sciencedirect.com/science/article/pii/S0747717184710236
Cited In (28)
- Efficient Enumeration of Regular Languages
- Efficient enumeration of words in regular languages
- Direct and dual laws for automata with multiplicities
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars
- Normal form algorithms for extended context-free grammars
- G-CSF control of neutrophils dynamics in the blood
- Assembling molecules in ATOMIX is hard
- Re-describing an algorithm by Hopcroft
- Implementation of code properties via transducers
- Periodicity, repetitions, and orbits of an automatic sequence
- AUTOMATE
- LANGAGE
- OpenFst
- Vaucanson
- FAdo
- GUItar
- Robbins and Ardila meet Berstel
- Grail
- AMoRE
- Walnut
- Efficient implementation of regular languages using reversed alternating finite automata
- Title not available (Why is that?)
- Subset construction complexity for homogeneous automata, position automata and ZPC-structures
- Additive Number Theory via Approximation by Regular Languages
- Enumerating regular expressions and their languages
- Theorem Proving in Higher Order Logics
- From sequential extended regular expressions to NFA with symbolic labels
- Wang tilings and distributed verification on anonymous torus networks
This page was built for software: Grail
