On the Synthesis of Finite-State Machines from Samples of Their Behavior
The Nerode realization technique for synthesizing finite-state machines from their associated right-invariant equivalence relations is modified to give a method for synthesizing machines from finite subsets of their input-output behavior. The synthesis procedure includes a parameter that one may adj...
Saved in:
| Published in | IEEE transactions on computers Vol. C-21; no. 6; pp. 592 - 597 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
IEEE
01.06.1972
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0018-9340 |
| DOI | 10.1109/TC.1972.5009015 |
Cover
| Abstract | The Nerode realization technique for synthesizing finite-state machines from their associated right-invariant equivalence relations is modified to give a method for synthesizing machines from finite subsets of their input-output behavior. The synthesis procedure includes a parameter that one may adjust to obtain machines that represent the desired behavior with varying degrees of accuracy and that consequently have varying complexities. We discuss some of the uses of the method, including an application to a sequential learning problem. |
|---|---|
| AbstractList | The Nerode realization technique for synthesizing finite-state machines from their associated right-invariant equivalence relations is modified to give a method for synthesizing machines from finite subsets of their input-output behavior. The synthesis procedure includes a parameter that one may adjust to obtain machines that represent the desired behavior with varying degrees of accuracy and that consequently have varying complexities. We discuss some of the uses of the method, including an application to a sequential learning problem. |
| Author | Feldman, J. A. Biermann, A. W. |
| Author_xml | – sequence: 1 givenname: A. W. surname: Biermann fullname: Biermann, A. W. organization: Department of Computer and Information Science, Ohio State University, Columbus, Ohio 43210 – sequence: 2 givenname: J. A. surname: Feldman fullname: Feldman, J. A. organization: Department of Computer Science, Stanford University, Stanford, Calif. 94305 |
| BookMark | eNp9kD1PAkEURafAREBrC5v5Awvv7XywU-pGxARDwVpvxuFtdgzMkpmNCf9eELSwsLrFu-fm5YzYIHSBGLtDmCCCmVblBM0snygAA6gGbAiARWaEhGs2SukDAHQOZsgWq8D7lvj6EI6RfOJdw-c--J6ydW974q_WtT5Q4k3sdnxtd_stfbeqlnzkj9TaT9_FG3bV2G2i20uO2dv8qSoX2XL1_FI-LDOXa-wzkg3qwmwUzmaajNTOkAN8J5C5VGQ3QjqgQiGiBuF04awsVC5QFMqZjRBjps67LnYpRWpq549_-i700fptjVCfFNRVWZ8U1BcFR276h9tHv7Px8A9xfyY8Ef22f65fVXFoug |
| CODEN | ITCOB4 |
| CitedBy_id | crossref_primary_10_1016_0031_3203_84_90063_3 crossref_primary_10_3390_app11052381 crossref_primary_10_1016_0167_8655_83_90019_3 crossref_primary_10_1109_32_544351 crossref_primary_10_1109_34_57687 crossref_primary_10_1017_S0263574700001612 crossref_primary_10_1007_s10664_015_9367_7 crossref_primary_10_1016_j_infsof_2019_05_002 crossref_primary_10_1016_j_ic_2020_104598 crossref_primary_10_1111_1467_8640_00218 crossref_primary_10_1002_smr_373 crossref_primary_10_1016_S0020_0255_80_80006_5 crossref_primary_10_1145_322326_322334 crossref_primary_10_1016_j_scico_2019_03_003 crossref_primary_10_1016_S1045_926X_05_80020_5 crossref_primary_10_1109_21_364856 crossref_primary_10_1089_big_2022_0158 crossref_primary_10_1016_S1474_6670_17_63012_X crossref_primary_10_1109_TSE_2015_2461542 crossref_primary_10_1016_0304_3975_94_90033_7 crossref_primary_10_1002_widm_1244 crossref_primary_10_1109_TPAMI_1986_4767796 crossref_primary_10_1109_TASE_2017_2693995 crossref_primary_10_1016_j_scico_2014_05_008 crossref_primary_10_1007_s10515_018_0231_z crossref_primary_10_1016_j_future_2020_10_033 crossref_primary_10_1007_s11219_019_09468_z crossref_primary_10_1109_TSMC_1975_5409159 crossref_primary_10_1109_TSE_2016_2623623 crossref_primary_10_1109_TSE_2023_3324258 crossref_primary_10_1016_j_tcs_2014_09_023 crossref_primary_10_1145_356914_356918 crossref_primary_10_3923_ajaps_2016_131_142 crossref_primary_10_4204_EPTCS_277_19 crossref_primary_10_1016_j_jnca_2020_102819 crossref_primary_10_1109_TSMC_1980_4308394 crossref_primary_10_3182_20050703_6_CZ_1902_01440 crossref_primary_10_1002_smr_1965 crossref_primary_10_1145_3375633 crossref_primary_10_1145_318774_318944 crossref_primary_10_1007_BF00979871 crossref_primary_10_1080_00207721_2012_724098 crossref_primary_10_1145_3460345 crossref_primary_10_1007_s11219_018_9429_3 crossref_primary_10_1016_j_jss_2019_110426 crossref_primary_10_1145_3622876 crossref_primary_10_1016_0031_3203_78_90030_4 crossref_primary_10_2514_1_49356 crossref_primary_10_1007_s10472_014_9408_8 crossref_primary_10_1016_j_robot_2019_07_006 crossref_primary_10_1145_3196883 crossref_primary_10_1002_stvr_380 crossref_primary_10_1016_j_scico_2017_04_004 crossref_primary_10_1109_100_591644 crossref_primary_10_4018_IJISMD_2017010103 crossref_primary_10_1016_j_infsof_2021_106803 crossref_primary_10_1109_TSE_2021_3120680 crossref_primary_10_1016_j_jlamp_2018_03_002 crossref_primary_10_1016_S0020_7373_76_80005_3 crossref_primary_10_1287_isre_9_3_275 crossref_primary_10_1016_0020_0255_91_90013_K crossref_primary_10_1007_s10664_012_9222_z crossref_primary_10_1109_TSE_2017_2782280 crossref_primary_10_1109_MC_1982_1653913 crossref_primary_10_1142_S0218194020400203 crossref_primary_10_1109_MS_2007_138 crossref_primary_10_1007_s10664_012_9210_3 crossref_primary_10_1016_S0167_9236_02_00008_8 crossref_primary_10_1109_TAC_2018_2793662 crossref_primary_10_1007_s10664_021_10111_4 crossref_primary_10_1109_TSE_2010_93 crossref_primary_10_1109_TSE_2020_2998527 crossref_primary_10_1016_0031_3203_88_90053_2 crossref_primary_10_1109_TPAMI_1982_4767191 crossref_primary_10_1007_s10664_022_10258_8 crossref_primary_10_1007_s10009_019_00544_0 crossref_primary_10_3390_a17010028 crossref_primary_10_1109_TC_1979_1675417 crossref_primary_10_1155_2010_453254 crossref_primary_10_1016_j_jss_2018_05_016 crossref_primary_10_1109_TCAD_2009_2013995 crossref_primary_10_1007_s10703_023_00433_y crossref_primary_10_1016_j_compeleceng_2006_06_001 crossref_primary_10_1016_S0019_9958_78_90562_4 crossref_primary_10_1080_03081078008934793 crossref_primary_10_1109_43_806807 crossref_primary_10_1109_ACCESS_2020_3000907 crossref_primary_10_1017_S0263574700009085 crossref_primary_10_1109_TPAMI_1981_4767101 crossref_primary_10_1016_j_scico_2011_09_003 crossref_primary_10_1145_3387909 crossref_primary_10_1007_s11219_019_09485_y crossref_primary_10_1007_BF03037319 crossref_primary_10_1080_00051144_2020_1734716 crossref_primary_10_1016_j_infsof_2014_12_004 crossref_primary_10_3390_automation1010002 crossref_primary_10_1007_s10009_020_00599_4 crossref_primary_10_1145_2430545_2430549 crossref_primary_10_1145_3640332 crossref_primary_10_1007_s11219_017_9399_x crossref_primary_10_1007_s10618_007_0065_y crossref_primary_10_1109_TPAMI_1981_4767078 crossref_primary_10_1109_TGRS_1983_350480 crossref_primary_10_1016_0743_1066_94_90035_3 crossref_primary_10_1016_j_is_2020_101666 crossref_primary_10_1016_S0895_7177_97_00100_3 crossref_primary_10_1016_0950_7051_88_90002_0 crossref_primary_10_1016_j_jss_2008_09_031 crossref_primary_10_1109_32_60293 crossref_primary_10_1109_21_156594 crossref_primary_10_1007_s10009_022_00651_5 crossref_primary_10_1007_s12243_014_0449_0 crossref_primary_10_1016_j_jss_2023_111735 crossref_primary_10_1109_TPAMI_1982_4767219 crossref_primary_10_3923_itj_2011_2292_2299 crossref_primary_10_4204_EPTCS_254_4 crossref_primary_10_4204_EPTCS_371_1 crossref_primary_10_1080_03081077908960883 crossref_primary_10_1109_TSE_2003_1214326 crossref_primary_10_1137_0220056 crossref_primary_10_1007_BF01237940 crossref_primary_10_1109_TSE_2012_63 crossref_primary_10_1109_TSE_2020_2996975 crossref_primary_10_1145_3315574 crossref_primary_10_1109_TSE_2014_2369047 crossref_primary_10_4204_EPTCS_319_3 crossref_primary_10_1017_S147106841400009X crossref_primary_10_1109_21_31062 crossref_primary_10_1016_0031_3203_86_90050_6 crossref_primary_10_1109_TSC_2022_3149949 crossref_primary_10_1016_j_eswa_2019_05_003 |
| Cites_doi | 10.1016/S0019-9958(66)80011-6 10.1145/321239.321249 10.1002/j.1538-7305.1955.tb03788.x 10.2307/2033204 10.1145/321088.321097 10.1109/TEC.1959.5222056 10.1145/321312.321316 10.1016/0016-0032(54)90618-3 10.21236/AD0692390 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1109/TC.1972.5009015 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EndPage | 597 |
| ExternalDocumentID | 10_1109_TC_1972_5009015 5009015 |
| Genre | orig-research |
| GroupedDBID | --Z -DZ -~X .55 .DC 0R~ 29I 3EH 3O- 4.4 5GY 5VS 6IK 85S 97E AAJGR AARMG AASAJ AAWTH ABAZT ABFSI ABQJQ ABVLG ACGFO ACIWK ACNCT AENEX AETEA AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 E.L EBS EJD HZ~ H~9 IAAWW IBMZZ ICLAB IEDLZ IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ MVM O9- OCL P2P PQQKQ RIA RIE RNI RNS RXW RZB TAE TN5 TWZ UHB UKR UPT VH1 X7M XJT XOL XZL YXB YYQ YZZ ZCG AAYXX CITATION |
| ID | FETCH-LOGICAL-c261t-e4f1689d51776e946c9ec01be04245ead34c0e85111603c68ca485231385c9d33 |
| IEDL.DBID | RIE |
| ISSN | 0018-9340 |
| IngestDate | Thu Apr 24 23:05:02 EDT 2025 Wed Oct 01 03:21:38 EDT 2025 Wed Aug 27 02:49:03 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c261t-e4f1689d51776e946c9ec01be04245ead34c0e85111603c68ca485231385c9d33 |
| PageCount | 6 |
| ParticipantIDs | crossref_primary_10_1109_TC_1972_5009015 ieee_primary_5009015 crossref_citationtrail_10_1109_TC_1972_5009015 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 1900 |
| PublicationDate | 1972-June |
| PublicationDateYYYYMMDD | 1972-06-01 |
| PublicationDate_xml | – month: 06 year: 1972 text: 1972-June |
| PublicationDecade | 1970 |
| PublicationTitle | IEEE transactions on computers |
| PublicationTitleAbbrev | TC |
| PublicationYear | 1972 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| References | ginsburg (ref10) 1966 harrison (ref12) 1965 ref13 feldman (ref5) 1969 ref15 ref11 biermann (ref1) 1971 feldman (ref3) 1967 (ref14) 1954 ref2 tal (ref18) 1964; 25 ref17 gill (ref6) 1962 ref16 feldman (ref4) 1970 ref8 ref7 ginsburg (ref9) 1962 |
| References_xml | – volume: 25 start-page: 946 year: 1964 ident: ref18 article-title: questionnaire language and the abstract synthesis of minimal sequential machines publication-title: Avtomat Telemekh – year: 1962 ident: ref6 publication-title: Introduction to the Theory of Finite-State Machines – year: 1970 ident: ref4 publication-title: Some decidability results on grammatical inference and complexity – ident: ref11 doi: 10.1016/S0019-9958(66)80011-6 – year: 1967 ident: ref3 publication-title: First thoughts on grammatical inference – ident: ref2 doi: 10.1145/321239.321249 – ident: ref15 doi: 10.1002/j.1538-7305.1955.tb03788.x – year: 1965 ident: ref12 publication-title: Introduction to Switching and Automata Theory – ident: ref16 doi: 10.2307/2033204 – ident: ref17 doi: 10.1145/321088.321097 – start-page: 275 year: 1954 ident: ref14 – year: 1962 ident: ref9 publication-title: An Introduction to Mathematical Machine Theory – year: 1971 ident: ref1 article-title: a survey of results in grammatical inference publication-title: Int Conf Frontiers of Pattern Recognition – ident: ref8 doi: 10.1109/TEC.1959.5222056 – year: 1966 ident: ref10 publication-title: The Mathematical Theory of Context-Free Languages – ident: ref7 doi: 10.1145/321312.321316 – ident: ref13 doi: 10.1016/0016-0032(54)90618-3 – year: 1969 ident: ref5 publication-title: Grammatical complexity and inference doi: 10.21236/AD0692390 |
| SSID | ssj0006209 |
| Score | 1.3871799 |
| Snippet | The Nerode realization technique for synthesizing finite-state machines from their associated right-invariant equivalence relations is modified to give a... |
| SourceID | crossref ieee |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 592 |
| SubjectTerms | Complexity theory Computers Construction industry Data mining Finite-state functions finite-state machines inference Nerode realization Probability density function sequential learning Silicon synthesis |
| Title | On the Synthesis of Finite-State Machines from Samples of Their Behavior |
| URI | https://ieeexplore.ieee.org/document/5009015 |
| Volume | C-21 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) issn: 0018-9340 databaseCode: RIE dateStart: 19680101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://ieeexplore.ieee.org/ omitProxy: false ssIdentifier: ssj0006209 providerName: IEEE |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA5zJz043RTnL3Lw4MF2jU3T9ijDMYTpYR3sVtL0FYbSyX4c9K83L03LFAVPLSGBkLw03-t77_sIuYm5xtAZLxyJWqlcBsqRuVc4IOG-UApkaPRTJs9iPONP82DeIndNLQwAmOQzcPHVxPLzpdrir7JBoAGBhxXle2Ekqlqt5qsr6nQOpg-wzz1L48O8eJAMXRTXcu3wbzfQjqSKuVFGHTKp51Ilkry6203mqs8fNI3_newRObTQkj5UtnBMWlB2SaeWbaD2FHfJwQ4HYY-MX0qqQSCdfpT6sV6s6bKgowVCUccgUTox-ZawpliKQqcS-YRNrwSDDNQyLK5OyGz0mAzHjpVXcJR2mzYO8IKJKM4DFoYCYi5UDMpjGZhoqLYwnysPEJGhFLUSERKga7-V-VGg4tz3T0m7XJZwRij373OOnokCxoPQlyILMyYVREUQaTPpE7de8lRZ7nGUwHhLjQ_ixWkyTHGPUrtqfXLbDHivaDf-7trDxW-62ebz35svyD4OrpK9Lkl7s9rClYYVm-za2NMX_VvHuA |
| linkProvider | IEEE |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED6hMgADjxZEeXpgYCBp0th5jKiiKo_C0FTqFiXORapAKepjgF-Pz3GrgkBiSmQ5luWc4-9yd98HcBVxhaEzXlgpaaXyVEgrzZ3CwhTbhZSYBlo_pf_s94b8YSRGG3CzqoVBRJ18hjbd6lh-PpEL-lXWEgoQOFRRvik456Kq1lp9d_1lQoertrDHHUPk4zpRK-7YJK9lmwG-nUFroir6TOnuQX85myqV5NVezDNbfv4gavzvdPdh14BLdltZwwFsYFmHvaVwAzP7uA47ayyEDei9lEzBQDb4KNVlNp6xScG6YwKjlsairK8zLnHGqBiFDVJiFNa9YgozMMOxOD2EYfcu7vQsI7BgSeU4zS3kheuHUS7cIPAx4r6MUDpuhjoeqmzM49JBwmQkRi39kCjQlefqeqGQUe55R1ArJyUeA-NeO-fkm0h0uQi81M-CzE0lhoUIlaE0wV4ueSIN-ziJYLwl2gtxoiTuJPSOErNqTbhePfBeEW_83bVBi7_qZppPfm--hK1e3H9Knu6fH09hmwaqUr_OoDafLvBcgYx5dqFt6wuiB8sF |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+the+Synthesis+of+Finite-State+Machines+from+Samples+of+Their+Behavior&rft.jtitle=IEEE+transactions+on+computers&rft.au=Biermann%2C+A.+W.&rft.au=Feldman%2C+J.+A.&rft.date=1972-06-01&rft.pub=IEEE&rft.issn=0018-9340&rft.volume=C-21&rft.issue=6&rft.spage=592&rft.epage=597&rft_id=info:doi/10.1109%2FTC.1972.5009015&rft.externalDocID=5009015 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9340&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9340&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9340&client=summon |