Formal languages and automata

被引:0
|
作者
Farina, Martin Pereira [1 ]
Sobrino, Alejandro [1 ]
机构
[1] Univ Santiago Compostela, Santiago, Spain
来源
AGORA-PAPELES DE FILOSOFIA | 2023年 / 43卷 / 01期
关键词
D O I
10.15304/ag.43.1.9423
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页数:4
相关论文
共 50 条
  • [21] Special Issue: 15th International Conference on Automata and Formal Languages Preface
    Csuhaj-Varju, Erzsebet
    Doemoesi, Pal
    Vaszil, Gyoergy
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2022, 33 (03N04) : 175 - 178
  • [22] 5th Workshop on Automata, Formal and Natural Languages – WAFNL 2024 (Preface)
    Andrejková, Gabriela
    Dušek, Ondřej
    Hlaváčová, Jaroslava
    Lopatková, Markéta
    Mareček, David
    Mlynárčik, Peter
    Mráz, František
    Oliva, Karel
    Otto, Friedrich
    Pardubská, Dana
    Plátek, Martin
    Procházka, Martin
    Průša, Daniel
    Rosa, Rudolf
    Rosen, Alexandr
    Straková, Jana
    Vojtáš, Peter
    CEUR Workshop Proceedings, 2024, 3792
  • [23] On Languages of P Automata
    Csuhaj-Varju, Erzsebet
    Vaszil, Gyorgy
    FUNDAMENTA INFORMATICAE, 2020, 171 (1-4) : 133 - 149
  • [24] FEEDBACK AUTOMATA AND THEIR LANGUAGES
    WATJEN, D
    INFORMATION PROCESSING LETTERS, 1985, 21 (02) : 83 - 86
  • [25] Knowledge-based systems to enhance learning: A case study on formal languages and automata theory
    Castro-Schez, J. J.
    Gallardo, J.
    Miguel, R.
    Vallejo, D.
    KNOWLEDGE-BASED SYSTEMS, 2017, 122 : 180 - 198
  • [26] ON STOCHASTIC AUTOMATA AND LANGUAGES
    FU, KS
    LI, TJ
    INFORMATION SCIENCES, 1969, 1 (04) : 403 - &
  • [27] Molecules, Languages and Automata
    Searls, David B.
    GRAMMATICAL INFERENCE: THEORETICAL RESULTS AND APPLICATIONS, ICGI 2010, 2010, 6339 : 5 - 10
  • [28] FUZZY AUTOMATA AND LANGUAGES
    SANTOS, E
    INFORMATION SCIENCES, 1976, 10 (03) : 193 - 197
  • [29] PROGRAMMING LANGUAGES FOR AUTOMATA
    KNUTH, DE
    BIGELOW, RH
    JOURNAL OF THE ACM, 1967, 14 (04) : 615 - &
  • [30] Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks
    Zhang, Kuize
    Zhang, Lijun
    Xie, Lihua
    Jiang, Zhe
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 4214 - 4219