Logic Finite Automata
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Logic Finite Automata
|
| Id. |
41719300 |
| Idioma |
inglés
|
| Titulo |
Logic Finite Automata |
| Localización |
http://citeseer.ist.psu.edu/284158.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. In this paper we generalize the concept of a finite state automaton,
essentially by replacing terminal and nonterminal symbols by first order
terms and identity checking by unification. We arrive at the concept of a logic
finite automaton. Ignoring a conceptual distinction in the treatment of input,
logic finite automata may also be regarded as logic grammars with a rightlinear
skeleton. The concept is then discussed from these two perspectives.
We first consider logic finite automata over an input alphabet of constants,
regarding logic finite automata as classical automata. Among other results the
four classes from the Chomsky-Hierarchy are characterized by means of syntactic
restrictions on logic finite automata. Turning then to logic languages we
discuss two notions of determinism--called ground and strict determinism--for
logic finite automata which take sequences of first order terms as input. We
show that for some languages which may be recognized by logic finite automata
backt...
|
| Tipo |
ps
|
| Palabras clave |
Logic Finite Automata
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://ftp.cis.uni-muenchen.de/pub/kepser/ccl/LogicFiniteAutomata.ps.Z
[References] oai:CiteSeerPSU:576360
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
