Acyclic automata and small expressions using multi-tilde-bar operators
type: Item
instance of: scholarly article
title: Acyclic automata and small expressions using multi-tilde-bar operators
zbMATH Open document ID: 1207.68183
author: Pascal Caron
author: Ludovic Mignot
author: Jean-Marc Champarnaud
published in: Theoretical Computer Science
publication date: 2010-10-07T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5796903
zbMATH Keywords: regular languages
zbMATH Keywords: finite-state automata
zbMATH Keywords: regular operators
describes a project that uses: LANGAGE
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.05.023
OpenAlex ID: W1981156238
cites work: Q5536277
cites work: Q3283892
cites work: Boolean Matrices and the Stability of Neural Nets
cites work: FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS
cites work: Follow automata.
cites work: Implementation and Application of Automata
cites work: Obtaining shorter regular expressions from finite-state automata
cites work: Q5437181
cites work: Regular expression for a language without empty word
cites work: Q4910730
cites work: Finite Automata, Digraph Connectivity, and Regular Expression Size
cites work: Characterization of Glushkov automata
cites work: A New Family of Regular Operators Fitting with the Position Automaton Computation
cites work: Multi-tilde Operators and Their Glushkov Automata
cites work: Q5592246
cites work: Q4714446
DOI: 10.1016/J.TCS.2010.05.023
description: scientific article; zbMATH DE number 5796903