| Creator |
|
|
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Issue |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| JaLC DOI |
|
| Related DOI |
|
| Related URI |
|
| Relation |
|
| Abstract |
The elementary formal system(EFS, for short) is a kind of logic programs over the domain of strings. The EFS's can define various classes of formal languages, and a prover, i.e., a resolution procedur...e, for EFS's works as a uniform recognizer of such various classes of languages. The basic operation of the procedure is the unification as in the ordinary resolution. This paper deals with a prover for a special subclass of EFS's called regular EFS's that defines exactly the same class as context-free languages in the Chomsky hierarchy. The prover searches derivation trees for refutations. This paper first introduces a subclass of regular EFS's, called variableseparated EFS's, for which the prover becomes efficient, proves that the newly introduced EFS's are equivalent to the regular EFS's in their language defining power, and shows an experimental result on parsing some simple Japanese sentences.show more
|
Export Mendeley
p001