Automatic groups and string rewriting

被引：0
|
作者：
Gilman, RH
机构：
来源：
TERM REWRITING | 1995年 / 909卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：127 / 134
页数：8
相关论文
共 50 条
  • [31] Decidability of termination of grid string rewriting rules
    Geser, A
    SIAM JOURNAL ON COMPUTING, 2002, 31 (04) : 1156 - 1168
  • [32] Match-bounded string rewriting systems
    Geser, A
    Hofbauer, D
    Waldmann, J
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2004, 15 (3-4) : 149 - 171
  • [33] A tool for match-bounded string rewriting
    Waldmann, J
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2004, 3091 : 85 - 94
  • [34] Finding finite automata that certify termination of string rewriting
    Geser, A
    Hofbauer, D
    Waldmann, J
    Zantema, H
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2005, 3317 : 134 - 145
  • [35] String-rewriting grammars for evolutionary architectural design
    McDermott, James
    Swafford, John Mark
    Hemberg, Martin
    Byrne, Jonathan
    Hemberg, Erik
    Fenton, Michael
    McNally, Ciaran
    Shotton, Elizabeth
    O'Neill, Michael
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 2012, 39 (04): : 713 - 731
  • [36] On the property of preserving regularity for string-rewriting systems
    Otto, F
    REWRITING TECHNIQUES AND APPLICATIONS, 1997, 1232 : 83 - 97
  • [37] Automatic rewriting of patient record narratives
    Hallett, Catalina
    Hardcastle, David
    SIXTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC 2008, 2008, : 2897 - 2903
  • [38] String rewriting grammar optimized using an evolvability measure
    Suzuki, Hideaki
    ADVANCES IN ARTIFICIAL LIFE, 2001, 2159 : 458 - 468
  • [39] Protection against format string attacks by binary rewriting
    You, JH
    Seo, SC
    Kim, YD
    Choi, JY
    Lee, SJ
    Kim, BK
    COMPUTATIONAL INTELLIGENCE AND SECURITY, PT 2, PROCEEDINGS, 2005, 3802 : 303 - 308
  • [40] Solving the SAT problem with the string multiset rewriting calculus
    Battyanyi, Peter
    COMPUTING, 2024, 106 (05) : 1321 - 1334
12345