logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
I

IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025

IF
论文数22
被引数
期刊论文 22
发表时间
delete
State-Freezing Pushdown Automata无状态冻结下推自动机
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKutrib, Martin; Malcher, Andreas; Raucci, Priscilla
delete分享
delete收藏
A New Approach for Showing Termination of Parameterized Transition Systems参数化转换系统终止性证明的新方法
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHerrmann, Roland; Ruemmer, Philipp
delete分享
delete收藏
Dynamically Weighted Tree Transducers动态加权树转换器
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDrewes, Frank; Kuhlmann, Marco; Torstensson, Olle
delete分享
delete收藏
Subsequence Matching and Analysis Problems for Automata with Translucent Letters自动机中半透明字母的子序列匹配与分析问题
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFazekas, Szilard Zsolt; Klein, Bela; Koss, Tore; Manea, Florin; Mercas, Robert; Specht, Timo
delete分享
delete收藏
A First Taste of MeSCaL, a Tool for Solving Membership Problems for Regular LanguagesMeSCaL求解正则语言成员问题的初步尝试，MeSCaL是一种求解正则语言成员问题的工具
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete1
PREAI
deletePlace, Thomas; Zeitoun, Marc
delete分享
delete收藏
Multi-entry DFA with Reduced Initial States to Speedup Parallel Recognition多入口DFA，通过减少初始状态以加速并行识别
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBorsotti, Angelo; Breveglieri, Luca; Reghizzi, Stefano Crespi; Morzenti, Angelo
delete分享
delete收藏
Constructing Compact BPE Token DFAs构建紧凑型BPE词元DFA
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBerglund, Martin; Jonsson, Anna; Martens, Willeke; van der Merwe, Brink
delete分享
delete收藏
Complementable Normal Form of Parametrized Automata参数化自动机的可补范式
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlber, Franziska; Ruemmer, Philipp
delete分享
delete收藏
In Orbit with MeSCaL: Higher in Concatenation and Navigational Hierarchies of Regular Languages与MeSCaL协同轨道：正则语言的串联和导航层次结构中的更高层级
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deletePlace, Thomas; Zeitoun, Marc
delete分享
delete收藏
A Hierarchy of Reversible Finite Automata可逆有限自动机层级
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRadionova, Maria; Okhotin, Alexander
delete分享
delete收藏
Epsilon Automata on Linear Orderings线性序上的ε自动机
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBoigelot, Bernard; Braipson, Thomas; Clara, Tom
delete分享
delete收藏
Engineering an LTLf Synthesis Tool构建LTLf合成工具
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDuret-Lutz, Alexandre; Zhu, Shufang; Piterman, Nir; De Giacomo, Giuseppe; Vardi, Moshe Y.
delete分享
delete收藏
Two-Way Automata and Bounded Languages双向自动机与有界语言
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLorenzini, Alessandro Clerici; Pighizzini, Giovanni; Prigioniero, Luca
delete分享
delete收藏
Simulating Two-Way Nondeterministic Finite Automata Over Small Alphabets by One-Way Nondeterministic Automata用单向非确定性自动机模拟小字母表上的双向非确定性有限自动机
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGeffert, Viliam; Okhotin, Alexander
delete分享
delete收藏
Self-verifying Predicates in Buchi ArithmeticBuchi算术中的自验证谓词
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete1
PREAI
deleteKhodier, Mazen; Schaeffer, Luke; Shallit, Jeffrey
delete分享
delete收藏
From Regular Expressions to Deterministic Finite Automata: 2 n/2+√n(log n)Θ(1) States Are Necessary and Sufficient从正则表达式到确定有限自动机：2n/2+√n(log n)Θ(1)个状态是必要且充分的
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMartynova, Olga; Okhotin, Alexander
delete分享
delete收藏
An Earley-Based Universal Error-Correcting Parser基于Earley算法的通用纠错解析器
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHerwig, Maurice; Hundeshagen, Norbert; Lange, Martin
delete分享
delete收藏
More on Language Families with a Decidable Pumping-Problem (Extended Abstract)关于具有可判定泵问题的语言家族（扩展摘要）
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHolzer, Markus; Rauch, Christian
delete分享
delete收藏
Shape Preserving Tree Transducers保形树转换器
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGallot, Paul; Maneth, Sebastian
delete分享
delete收藏
Toward the Glushkovization of Automata: The Strong Stabilization迈向自动机的Glushkov化：强稳定化
deleteIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAttou, Samira; Mignot, Ludovic; Miklarz, Clement; Nicart, Florent
delete分享
delete收藏