visual-cortex
发表于 2025-3-23 13:27:06
http://reply.papertrans.cn/29/2847/284615/284615_11.png
Suppository
发表于 2025-3-23 14:01:15
,Semidirect Product Decompositions for Periodic Regular Languages, example, the language . has period two because the length of a recursion (cycle) in its DFA must be even.. This paper shows that the period of a regular language appears as a cyclic group within its syntactic monoid. Specifically, we show that a regular language has period . if and only if its synt
Commonwealth
发表于 2025-3-23 18:53:56
http://reply.papertrans.cn/29/2847/284615/284615_13.png
Neutropenia
发表于 2025-3-23 22:48:51
,Deterministic Pushdown Automata with Translucent Input Letters,om left to right on the input. Depending on the current state of the automaton, some symbols are visible and can be processed, whereas some other symbols are invisible, and may be processed in another sweep. We also distinguish between the returning and non-returning mode, which differ from the fact
WAIL
发表于 2025-3-24 04:12:34
http://reply.papertrans.cn/29/2847/284615/284615_15.png
津贴
发表于 2025-3-24 09:38:06
,Finite Automata with Sets of Translucent Words,the one hand, we restrict the cardinality of the sets of translucent letters, while, on the other hand, we introduce finite automata for which each state has an associated set of words that are translucent for that state. Here we require that each such set is a finite prefix code. We expect that, ba
Ophthalmologist
发表于 2025-3-24 11:19:26
http://reply.papertrans.cn/29/2847/284615/284615_17.png
几何学家
发表于 2025-3-24 17:51:16
,Verifying and Interpreting Neural Networks Using Finite Automata,luding safety-critical ones, and their black-box nature. We propose an automata-theoretic approach to tackling problems arising in DNN analysis. We show that the input-output behaviour of a DNN can be captured precisely by a (special) weak Büchi automaton and we show how these can be used to address
蜈蚣
发表于 2025-3-24 20:19:21
http://reply.papertrans.cn/29/2847/284615/284615_19.png
Vulnerable
发表于 2025-3-25 01:45:26
Dünnwandige isotrope Flächen, Hautfelders for formal languages. As usual, these systems then act as deciders whose output is yes or no. A second point of view takes the perspective of more complex outputs. Now cellular automata not only compute a binary output, but they transform inputs into outputs, that is, they act as transducers. In t