Title
Computing forbidden words of regular languages
Abstract
We give a quadratic-time algorithm to compute the set of minimal forbidden words of a factorial regular language. We give a linear-time algorithm to compute the minimal forbidden words of a finite set of words. This extends a previous result given for the case of a single word only.We also give quadratic-time algorithms to check whether a regular language is factorial or anti-factorial.
Year
Venue
Keywords
2003
Fundamenta Informaticae - Computing Patterns in Strings
anti-factorial language,formal languages,failure function,linear-time algorithm,factorial lan guage,sofic shift,finite set,factor automaton,quadratic-time algorithm,regular language,symbolic dynamics.,single word,factorial regular language,forbid- den word,previous result,symbolic dynamics,formal language,linear time
Field
DocType
Volume
Discrete mathematics,Combinatorics,Context-sensitive language,Finite set,Formal language,Nondeterministic finite automaton,Factorial,Pumping lemma for regular languages,Regular language,Regular grammar,Mathematics
Journal
56
Issue
ISSN
Citations 
1-2
0169-2968
17
PageRank 
References 
Authors
1.28
7
5
Name
Order
Citations
PageRank
Marie-pierre Béal132735.73
Maxime Crochemore22655281.75
Filippo Mignosi356999.71
Antonio Restivo4697107.05
Marinella Sciortino522522.34