An elementary formal system (EFS) is a logic program such as a Prolog program, for instance, that directly manipulates strings. Arikawa and his co-workers proposed elementary formal systems as a unifying framework for formal language learning.

An elementary formal system (EFS) is a logic program such as a Prolog program, for instance, that directly manipulates strings.

An elementary formal system (EFS , for short) is a kind of logic program which directly manipulates character strings. A number of researches have investigated the ability of EFS as an uniform framework for language learning in various learning models including model inference, inductive

An elementary formal system ( $EFS $ , for short) [8] is suitable to generate various for-mal languages [3]. The EFS has been investigated from the various viewpoints $[4, 11] $. In particular, from the viewpoints of translations on formal languages, Sugimoto and Ishizaka $[9, 10] $ have pointed

An elementary formal system (EFS) is a logic program con- sisting of definite clauses whose arguments have patterns instead of first-order terms. We investigate EFSs for polynomial-time PAC-learnability. A definite clause of an EFS is hereditary if every pattern in the body is a subword of a

Recently, rich subclasses of elementary formal systems (EFS) have been shown to be identifiable in the limit from only positive data. Examples of these classes are Angluin’s pattern languages, unions of pattern languages by Wright and Shinohara, and classes of languages definable by length

We present a broad extension of the conventional formalism of state machines and state diagrams, that is relevant to the specification and design of complex discrete-event systems, such as multi-computer real-time systems, communication protocols and digital control units. Our diagrams, which we

shall use the generic term information systems, in its broadest sense, to collectively refer to these application perspectives. We argue in this paper that so-called ontologies present their own methodological and architectural peculiarities: on the methodological side, their main peculiarity

Abstract not found

look within school districts at houses located on attendance district boundaries; houses then differ only by the elementary school the child attends. I thereby effectively remove the variation in neighborhoods, taxes, and school spending. I �nd that parents are willing to pay 2.5 percent more for a 5