Learning finite-state machines from inexperienced teachers

被引:0
|
作者
Grinchtein, Olga [1 ]
Leucker, Martin
机构
[1] Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden
[2] Tech Univ Munich, Munich, Germany
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:344 / 345
页数:2
相关论文
共 50 条
  • [41] STEADY-STATE OPTIMAL CONTROL OF FINITE-STATE MACHINES
    DORATO, P
    [J]. AUTOMATICA, 1971, 7 (03) : 351 - +
  • [42] TESTING FINITE-STATE MACHINES - FAULT-DETECTION
    YANNAKAKIS, M
    LEE, D
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 209 - 227
  • [43] Employing finite-state machines in data integrity problems
    Malikov, Andrey
    Voronkin, Vladimir
    Shiryaev, Nikolay
    [J]. 20TH INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, COMMUNICATIONS AND COMPUTERS (CSCC 2016), 2016, 76
  • [44] EMBEDDING LARGE FINITE-STATE MACHINES INTO PROGRAMMABLE DEVICES
    DUDZIAK, H
    REITHER, F
    LIPP, HM
    [J]. MICROELECTRONICS JOURNAL, 1994, 25 (03) : 171 - 182
  • [45] AMENDMENTS TO ZEIGERS CASCADE SYNTHESIS OF FINITE-STATE MACHINES
    CUTLIP, WF
    [J]. INFORMATION AND CONTROL, 1968, 12 (5-6): : 499 - &
  • [46] Recognizing Reduplicated Forms: Finite-State Buffered Machines
    Wang, Yang
    [J]. SIGMORPHON 2021: 18TH SIGMORPHON WORKSHOP ON COMPUTATIONAL RESEARCH IN PHONETICS, PHONOLOGY, AND MORPHOLOGY, 2021, : 177 - 187
  • [47] Distributed extended Finite-State Machines: Communication and control
    Mannani, A.
    Yang, Y.
    Gohari, P.
    [J]. WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 161 - +
  • [48] ADDING LIVENESS PROPERTIES TO COUPLED FINITE-STATE MACHINES
    AGGARWAL, S
    COURCOUBETIS, C
    WOLPER, P
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (02): : 303 - 339
  • [49] Detecting citation types using finite-state machines
    Le, Minh-Hoang
    Ho, Tu-Bao
    Nakamori, Yoshiteru
    [J]. ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2006, 3918 : 265 - 274
  • [50] Interface finite-state machines: Definition, minimization, and decomposition
    Daga, AJ
    Birmingham, WP
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (05) : 497 - 505