Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051245292> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2051245292 endingPage "64" @default.
- W2051245292 startingPage "53" @default.
- W2051245292 abstract "A Teacher knows a regular language L(G), in the form of a finite state acceptor. A method is described for selecting a set of examples, strings X, each in L(G) as inputs to the Pupil. The Set X is mapped into a lattice W (in Pupil) of finite state machines. A mapping is defined from pairs of machines in the lattice W into strings y, each of which serves as a ”crucial experiment”. The Teacher is asked to decide if the string y belongs to L(G). The process then repeats or terminates. This procedure is shown to converge (if Teacher answers truthfully) to a finite state acceptor accepting only strings of L(G)(which obviously may be brought into canonical, minimal state form). However, this process does not depend on state minimization as an inference method. The only necessary condition for the inference process is that every move (edge) of that finite state acceptor U(X) chosen to correspond to L(G) must be applied at least once in generating some string x in X. A proof is given that if the Teacher answers correctly, the Pupil will infer a machine behaviorally equivalent to the original acceptor U. Elements of the lattice W are constructed by successive refinement of the partitions of the state set of the initial finite state machine U(X). Pairs are chosen in an ordered process and converted to deterministic and completely specified machines, if necessary. The two machines are tested for behavioral equivalence. If they are equivalent, one is eliminated. If not, a testing string y belonging to one machine, but not the other, is constructed and output to the teacher. If y belongs to L(G), one machine is eliminated. If not, y is tested by the Pupil against a sequence of machines generated internally. If only one machine is left, the process terminates, otherwise two new candidate machines are chosen. The algorithm described is relatively simple and easy to understand, but does not necessarily produce a minimal time solution." @default.
- W2051245292 created "2016-06-24" @default.
- W2051245292 creator A5012617721 @default.
- W2051245292 creator A5026786489 @default.
- W2051245292 date "1978-01-01" @default.
- W2051245292 modified "2023-09-24" @default.
- W2051245292 title "A solution of the syntactical induction-inference problem for regular languages" @default.
- W2051245292 cites W1969005071 @default.
- W2051245292 cites W1989486238 @default.
- W2051245292 cites W1995782193 @default.
- W2051245292 cites W2003879744 @default.
- W2051245292 cites W2026974408 @default.
- W2051245292 cites W2057004410 @default.
- W2051245292 cites W2090943474 @default.
- W2051245292 cites W2163999518 @default.
- W2051245292 doi "https://doi.org/10.1016/0096-0551(78)90006-1" @default.
- W2051245292 hasPublicationYear "1978" @default.
- W2051245292 type Work @default.
- W2051245292 sameAs 2051245292 @default.
- W2051245292 citedByCount "49" @default.
- W2051245292 countsByYear W20512452922016 @default.
- W2051245292 countsByYear W20512452922019 @default.
- W2051245292 crossrefType "journal-article" @default.
- W2051245292 hasAuthorship W2051245292A5012617721 @default.
- W2051245292 hasAuthorship W2051245292A5026786489 @default.
- W2051245292 hasConcept C112505250 @default.
- W2051245292 hasConcept C11413529 @default.
- W2051245292 hasConcept C114614502 @default.
- W2051245292 hasConcept C118615104 @default.
- W2051245292 hasConcept C121332964 @default.
- W2051245292 hasConcept C134306372 @default.
- W2051245292 hasConcept C154945302 @default.
- W2051245292 hasConcept C157486923 @default.
- W2051245292 hasConcept C162392398 @default.
- W2051245292 hasConcept C167822520 @default.
- W2051245292 hasConcept C177264268 @default.
- W2051245292 hasConcept C199360897 @default.
- W2051245292 hasConcept C24890656 @default.
- W2051245292 hasConcept C2776214188 @default.
- W2051245292 hasConcept C2780069185 @default.
- W2051245292 hasConcept C2781204021 @default.
- W2051245292 hasConcept C33923547 @default.
- W2051245292 hasConcept C37914503 @default.
- W2051245292 hasConcept C41008148 @default.
- W2051245292 hasConcept C48103436 @default.
- W2051245292 hasConcept C52370388 @default.
- W2051245292 hasConcept C80444323 @default.
- W2051245292 hasConceptScore W2051245292C112505250 @default.
- W2051245292 hasConceptScore W2051245292C11413529 @default.
- W2051245292 hasConceptScore W2051245292C114614502 @default.
- W2051245292 hasConceptScore W2051245292C118615104 @default.
- W2051245292 hasConceptScore W2051245292C121332964 @default.
- W2051245292 hasConceptScore W2051245292C134306372 @default.
- W2051245292 hasConceptScore W2051245292C154945302 @default.
- W2051245292 hasConceptScore W2051245292C157486923 @default.
- W2051245292 hasConceptScore W2051245292C162392398 @default.
- W2051245292 hasConceptScore W2051245292C167822520 @default.
- W2051245292 hasConceptScore W2051245292C177264268 @default.
- W2051245292 hasConceptScore W2051245292C199360897 @default.
- W2051245292 hasConceptScore W2051245292C24890656 @default.
- W2051245292 hasConceptScore W2051245292C2776214188 @default.
- W2051245292 hasConceptScore W2051245292C2780069185 @default.
- W2051245292 hasConceptScore W2051245292C2781204021 @default.
- W2051245292 hasConceptScore W2051245292C33923547 @default.
- W2051245292 hasConceptScore W2051245292C37914503 @default.
- W2051245292 hasConceptScore W2051245292C41008148 @default.
- W2051245292 hasConceptScore W2051245292C48103436 @default.
- W2051245292 hasConceptScore W2051245292C52370388 @default.
- W2051245292 hasConceptScore W2051245292C80444323 @default.
- W2051245292 hasIssue "1" @default.
- W2051245292 hasLocation W20512452921 @default.
- W2051245292 hasOpenAccess W2051245292 @default.
- W2051245292 hasPrimaryLocation W20512452921 @default.
- W2051245292 hasRelatedWork W1525717696 @default.
- W2051245292 hasRelatedWork W1850316734 @default.
- W2051245292 hasRelatedWork W189278745 @default.
- W2051245292 hasRelatedWork W2023434610 @default.
- W2051245292 hasRelatedWork W2103546929 @default.
- W2051245292 hasRelatedWork W2382536759 @default.
- W2051245292 hasRelatedWork W2403588207 @default.
- W2051245292 hasRelatedWork W2414546088 @default.
- W2051245292 hasRelatedWork W3046613010 @default.
- W2051245292 hasRelatedWork W2126123335 @default.
- W2051245292 hasVolume "3" @default.
- W2051245292 isParatext "false" @default.
- W2051245292 isRetracted "false" @default.
- W2051245292 magId "2051245292" @default.
- W2051245292 workType "article" @default.