Sciweavers

25 search results - page 1 / 5
» Minimal Cover-Automata for Finite Languages
Sort
View
WIA
1998
Springer
13 years 9 months ago
Minimal Cover-Automata for Finite Languages
A cover-automaton A of a finite language L is a finite automaton that accepts all words in L and possibly other words that are longer than any word in L. A minimal deterministic co...
Cezar Câmpeanu, Nicolae Santean, Sheng Yu
APAL
2011
12 years 12 months ago
New spectra of strongly minimal theories in finite languages
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
Uri Andrews
CORR
2009
Springer
115views Education» more  CORR 2009»
13 years 2 months ago
Testing the Equivalence of Regular Languages
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...
Marco Almeida, Nelma Moreira, Rogério Reis
WIA
2001
Springer
13 years 9 months ago
Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
Jorge Graña, Francisco-Mario Barcala, Migue...
CICLING
2007
Springer
13 years 11 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner