FINITE PROCEDURES FOR SOFIC SYSTEMS

被引：0
|
作者：
COVEN, EM
PAUL, ME
机构：
[1] WESLEYAN UNIV,DEPT MATH,MIDDLETOWN,CT 06457
[2] UNIV MARYLAND,DEPT MATH,CATONSVILLE,MD 21228
来源：
MONATSHEFTE FUR MATHEMATIK | 1977年 / 83卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：265 / 278
页数：14
相关论文
共 50 条
  • [41] Sofic boundaries of groups and coarse geometry of sofic approximations
    Alekseev, Vadim
    Finn-Sell, Martin
    GROUPS GEOMETRY AND DYNAMICS, 2019, 13 (01) : 191 - 234
  • [42] Some sofic shifts cannot commute with non'wandering shifts of finite type
    Boyle, M
    ILLINOIS JOURNAL OF MATHEMATICS, 2004, 48 (04) : 1267 - 1277
  • [43] APPLICATIONS OF ERGODIC-THEORY AND SOFIC SYSTEMS TO CELLULAR AUTOMATA
    LIND, DA
    PHYSICA D, 1984, 10 (1-2): : 36 - 44
  • [44] On sofic monoids
    Tullio Ceccherini-Silberstein
    Michel Coornaert
    Semigroup Forum, 2014, 89 : 546 - 570
  • [45] On sofic groups
    Elek, Gabor
    Szabo, Endre
    JOURNAL OF GROUP THEORY, 2006, 9 (02) : 161 - 171
  • [46] On sofic monoids
    Ceccherini-Silberstein, Tullio
    Coornaert, Michel
    SEMIGROUP FORUM, 2014, 89 (03) : 546 - 570
  • [47] Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words
    Gustafson, Paul
    Im, Mee Seong
    Khovanov, Mikhail
    LETTERS IN MATHEMATICAL PHYSICS, 2024, 114 (06)
  • [48] SELF-SIMILAR SETS .3. CONSTRUCTIONS WITH SOFIC SYSTEMS
    BANDT, C
    MONATSHEFTE FUR MATHEMATIK, 1989, 108 (2-3): : 89 - 102
  • [49] CELLULAR AUTOMATA, OMEGA-OMEGA-REGULAR SETS, AND SOFIC SYSTEMS
    CULIK, K
    YU, S
    DISCRETE APPLIED MATHEMATICS, 1991, 32 (02) : 85 - 101
  • [50] Generating finite-state abstractions of reactive systems using decision procedures
    Colón, MA
    Uribe, TE
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 293 - 304
12345