arrow
返回

Deterministic pushdown automata with translucent input letters ☆

delete2026-01-01
delete0
delete
OA
AI
M
Martin Kutrib
A
Andreas Malcher
C
Carlo Mereghetti *
B
Beatrice Palano
P
Priscilla Raucci
M
Matthias Wendlandt
DOI:10.1016/j.ic.2026.105403delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
透明输入字母的使用代表了在自动机中实现非连续输入处理的一种方式。具体来说,一个透明自动机对输入进行多次从左到右的扫描:根据当前状态,某些符号可见并可被处理,而另一些符号不可见,可能需要在另一次扫描中被处理。我们还区分了返回模式和非返回模式,它们在读取符号后的行为方式上有所不同:在返回模式下,新的扫描立即开始;而在非返回模式下,设备处理下一个可见符号。在此,我们研究了在返回模式和非返回模式下带有透明字母的确定下推自动机。我们证明非返回模式严格优于返回模式,并且这两种类型设备所接受的语言族可以严格排列在确定上下文无关语言和确定上下文敏感语言之间。此外,这两个语言族被证明与上下文无关语言、增长上下文敏感语言和Church-Rosser语言的语言族不可比较。接受非半线性语言的能力也得到了强调(解决了文献中的一个开放问题)。最后,我们研究了这两个语言族在布尔运算下的闭包性质,得出它们在补运算下是闭合的,但在并和交运算下不闭合。进一步的非闭包结果被指出适用于返回模式设备。
Keyword:
Translucent input letters
Deterministic pushdown automata
Returning and non-returning computations
Computational capacity
Closure properties
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

I
Information and Computation
IF:
1
论文数:
79
被引数:
2.8K

机构

J
justus liebig university giessen
学者数:
1.5W
论文数: 1.2W
被引数: 95
U
University of Milan
学者数:
5.1W
论文数: 3.9W
被引数: 5.0W
引用论文

引用论文

err分享
err收藏
err分享
err收藏
Church-Rosser Thue systems and formal languages
err1988-04-01
err0
errOAAI
errRobert McNaughton; Paliath Narendran; Friedrich Otto
err分享
err收藏
One-Way Jumping Finite Automata单向跳跃有限自动机
err2016-02-01
err0
PREAI
errChigahara,Hiroyuki; Fazekas,Szilárd Zsolt; Yamamura,Akihiro
err分享
err收藏
学者 查看更多内容