chiropractor 发表于 2025-3-27 00:33:35

http://reply.papertrans.cn/47/4647/464660/464660_31.png

VEN 发表于 2025-3-27 02:59:37

Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata,In this paper we consider deterministic pushdown automata on infinite words with restricted use of the stack. More precisely, this study concerns: (1) Behavior of deterministic one-turn pushdown automata using Büchi and Muller modes of acceptance and (2) Closure properties of these sets by Boolean and limit operators.

不合 发表于 2025-3-27 05:48:33

http://reply.papertrans.cn/47/4647/464660/464660_33.png

Ebct207 发表于 2025-3-27 12:45:17

http://reply.papertrans.cn/47/4647/464660/464660_34.png

Chagrin 发表于 2025-3-27 13:50:15

http://reply.papertrans.cn/47/4647/464660/464660_35.png

gusher 发表于 2025-3-27 19:08:07

http://reply.papertrans.cn/47/4647/464660/464660_36.png

青少年 发表于 2025-3-28 01:33:58

http://reply.papertrans.cn/47/4647/464660/464660_37.png

老人病学 发表于 2025-3-28 03:48:46

http://reply.papertrans.cn/47/4647/464660/464660_38.png

盲信者 发表于 2025-3-28 07:24:46

http://reply.papertrans.cn/47/4647/464660/464660_39.png

Misnomer 发表于 2025-3-28 10:51:12

http://reply.papertrans.cn/47/4647/464660/464660_40.png
页: 1 2 3 [4] 5
查看完整版本: Titlebook: Infinity in Logic and Computation; International Confer Margaret Archibald,Vasco Brattka,Benedikt Löwe Conference proceedings 2009 Springer