{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:16:12Z","timestamp":1757542572148},"reference-count":43,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1978,1]]},"DOI":"10.1016\/0096-0551(78)90006-1","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T19:11:16Z","timestamp":1060283476000},"page":"53-64","source":"Crossref","is-referenced-by-count":45,"title":["A solution of the syntactical induction-inference problem for regular languages"],"prefix":"10.1016","volume":"3","author":[{"given":"Tsyh-Wen","family":"Pao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"III","given":"John W.","family":"Carr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(78)90006-1_BIB1","series-title":"Proc. Int. Conf. in Information Processing","first-page":"125","article-title":"The syntax and semantics of the proposed international language of the Zurich ACM-Gamm Conference","author":"Backus","year":"1959"},{"key":"10.1016\/0096-0551(78)90006-1_BIB2","article-title":"Prolegomena to a theory of signal switching networks","author":"Beizer","year":"1962"},{"key":"10.1016\/0096-0551(78)90006-1_BIB3","series-title":"A survey of Modern Algebra","author":"Birkhoff","year":"1954"},{"key":"10.1016\/0096-0551(78)90006-1_BIB4","article-title":"Formulation of the problem","author":"Carr","year":"1968"},{"key":"10.1016\/0096-0551(78)90006-1_BIB5","article-title":"First thoughts on grammatical inference","author":"Feldman","year":"1967","journal-title":"Stanford Artificial Intelligence Memo No. 55"},{"key":"10.1016\/0096-0551(78)90006-1_BIB6","series-title":"Introduction to Switching and Automata Theory","author":"Harrison","year":"1965"},{"key":"10.1016\/0096-0551(78)90006-1_BIB7","article-title":"Program to induce a minimum state machine","author":"Isenman","year":"1968"},{"key":"10.1016\/0096-0551(78)90006-1_BIB8","article-title":"Induction","author":"Miller","year":"1968"},{"key":"10.1016\/0096-0551(78)90006-1_BIB9","series-title":"Automata Studies","article-title":"Gedanken experiments on sequential machines","author":"Moore","year":"1956"},{"key":"10.1016\/0096-0551(78)90006-1_BIB10","article-title":"A solution of the suntactical induction-inference problem for a non-trivial subset of contest-free language","author":"Pao","year":"1969"},{"key":"10.1016\/0096-0551(78)90006-1_BIB11","first-page":"114","article-title":"Finite automata and their decision problems","author":"Rabin","year":"1959","journal-title":"I.B.M. J."},{"key":"10.1016\/0096-0551(78)90006-1_BIB12","series-title":"The Genesis of Language\u2014A Psycho-Linguistic Approach","author":"Smith","year":"1966"},{"key":"10.1016\/0096-0551(78)90006-1_BIB13","series-title":"Proc. 2nd Int. Congr. on Cybernetics","first-page":"180","article-title":"The mechanization of linguistic learning","author":"Solomonoff","year":"1960"},{"key":"10.1016\/0096-0551(78)90006-1_BIB14","series-title":"Information Processing","first-page":"285","article-title":"A new method for discovering the grammars of phrase structure languages","author":"Solomonoff","year":"1960"},{"key":"10.1016\/0096-0551(78)90006-1_BIB15","series-title":"Theorie der Lernsysteme","author":"Menzel","year":"1972"},{"key":"10.1016\/0096-0551(78)90006-1_BIB16","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/BF00289505","article-title":"An extension of the theory of learning systems","volume":"2","author":"Menzel","year":"1974","journal-title":"Acta Informatica"},{"issue":"No. 1","key":"10.1016\/0096-0551(78)90006-1_BIB17","doi-asserted-by":"crossref","DOI":"10.1145\/321312.321316","article-title":"Realization of input-output relations by sequential machines","volume":"13","author":"Gill","year":"1966","journal-title":"J. Assoc. Comput. Machinery"},{"key":"10.1016\/0096-0551(78)90006-1_BIB18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0019-9958(76)80001-0","article-title":"The realization of consistent input-output sequences by finite state machines","volume":"31","author":"Heun","year":"1976","journal-title":"Inf. Control"},{"key":"10.1016\/0096-0551(78)90006-1_BIB19","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1109\/TEC.1959.5222056","article-title":"Synthesis of minimal-state machines","volume":"8","author":"Ginsburg","year":"1959","journal-title":"IRE Trans. Electron. Comput."},{"key":"10.1016\/0096-0551(78)90006-1_BIB20","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(75)90008-9","article-title":"Knowledge and reasoning in program synthesis","volume":"6","author":"Manna","year":"1975","journal-title":"Artif. Intelligence"},{"key":"10.1016\/0096-0551(78)90006-1_BIB21","article-title":"First thoughts on grammatical inference","author":"Feldman","year":"1967"},{"key":"10.1016\/0096-0551(78)90006-1_BIB22","article-title":"A study of Grammatical Inference","author":"Horning","year":"1969"},{"key":"10.1016\/0096-0551(78)90006-1_BIB23","series-title":"Proc. Int. J. Conf.","article-title":"Reduction of enumeration in grammar acquisition","author":"Crespi-Reghizzi","year":"1971"},{"key":"10.1016\/0096-0551(78)90006-1_BIB24","series-title":"IFIP Congr.","article-title":"An effective model for grammar inference","author":"Crespi-Reghizzi","year":"1971"},{"key":"10.1016\/0096-0551(78)90006-1_BIB25","series-title":"Proc. Int. Symp. in Computer and Information Sciences","article-title":"A syntactic pattern recognition system with learning capability","author":"Lee","year":"1972"},{"key":"10.1016\/0096-0551(78)90006-1_BIB26","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0004-3702(76)90020-5","article-title":"learning production systems from examples","volume":"7","author":"Hedrick","year":"1976","journal-title":"Artif. Intelligence"},{"key":"10.1016\/0096-0551(78)90006-1_BIB27","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0004-3702(72)90048-3","article-title":"On the inference of tuning machines from samples computations","volume":"3","author":"Biermann","year":"1972","journal-title":"Artif. Intelligence"},{"key":"10.1016\/0096-0551(78)90006-1_BIB28","series-title":"1974 Proc. IEEE Syst., Man Cybern. Conf.","first-page":"514","article-title":"A system for program synthesis from examples","author":"Biermann","year":"1974"},{"key":"10.1016\/0096-0551(78)90006-1_BIB29","series-title":"IEEE Trans. Software Engng","first-page":"141","article-title":"Constructing programs from example computations","author":"Biermann","year":"1976"},{"key":"10.1016\/0096-0551(78)90006-1_BIB30","article-title":"Automatic program synthesis report","author":"Baum","year":"1973"},{"key":"10.1016\/0096-0551(78)90006-1_BIB31","series-title":"On the Automatic Synthesis of Turning Machines from Samples of Their Computations","author":"Wrightson","year":"1975"},{"key":"10.1016\/0096-0551(78)90006-1_BIB32","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","article-title":"Language identification in the limit","volume":"10","author":"Gold","year":"1967","journal-title":"Inf. Control"},{"key":"10.1016\/0096-0551(78)90006-1_BIB33","series-title":"Phrase Structure Miniconference","article-title":"Current approaches to the inference of phrase structure grammars","author":"Gold","year":"1973"},{"key":"10.1016\/0096-0551(78)90006-1_BIB34","series-title":"Inf. Processing","first-page":"285","article-title":"A new method for discovering the grammars of phrase structure languages","author":"Solomonoff","year":"1960"},{"key":"10.1016\/0096-0551(78)90006-1_BIB35","article-title":"A computer model of simple forms of learning","author":"Jones","year":"1970"},{"key":"10.1016\/0096-0551(78)90006-1_BIB36","article-title":"Learning structural descriptions from examples","author":"Winston","year":"1970"},{"key":"10.1016\/0096-0551(78)90006-1_BIB37","series-title":"Learning in structural description languages","author":"Banerji","year":"1977"},{"key":"10.1016\/0096-0551(78)90006-1_BIB38","first-page":"1","article-title":"Approaches to automatic programming","volume":"Vol. 15","author":"Biermann","year":"1976"},{"key":"10.1016\/0096-0551(78)90006-1_BIB39","article-title":"Example grammars: techniques for restricting context-free derivation sets","author":"Eanes","year":"1973"},{"key":"10.1016\/0096-0551(78)90006-1_BIB40","article-title":"A state automaton as model of a learning system which can learn any machine from a class of finite state machines","author":"Kountanis","year":"1977"},{"key":"10.1016\/0096-0551(78)90006-1_BIB41","series-title":"Applied Data Research","article-title":"Kommunikation mit Automaten","author":"Petri","year":"1962"},{"key":"10.1016\/0096-0551(78)90006-1_BIB42","article-title":"Graph representations for logic machines","author":"Seitz","year":"1971"},{"key":"10.1016\/0096-0551(78)90006-1_BIB43","series-title":"Applied Data Research","article-title":"Events and conditions","author":"Holt","year":"1970"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055178900061?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055178900061?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T05:00:01Z","timestamp":1552626001000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055178900061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,1]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,1]]}},"alternative-id":["0096055178900061"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(78)90006-1","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1978,1]]}}}