Hypomania
发表于 2025-3-25 06:58:34
Finite Automata and Non-self-Embedding Grammarsn in terms of composition of regular grammars and state relationships between NSE grammars and push-down automata. Finally we show a polynomial algorithm to decide whether a context-free grammars is self-embedding or not.
reptile
发表于 2025-3-25 11:14:11
Simulation of Gate Circuits in the Algebra of Transientsecting hazards.We study two simulation algorithms: a general one, A, that works with any state, and Ã, that applies if the initial state is stable.We show that the two algorithms agree in the stable case. We prove the sufficiency of the simulation: all signal changes occurring in binary analysis are also predicted by Algorithm A.
HAUNT
发表于 2025-3-25 15:32:54
http://reply.papertrans.cn/47/4626/462524/462524_23.png
Ingest
发表于 2025-3-25 19:14:09
Feedback-Free Circuits in the Algebra of Transientsinary analysis. For any feedback-free circuit consisting of 1- and 2-input gates and started in a stable state, we prove that all signal changes predicted by simulation occur in binary analysis, provided that wire delays are taken into account. Two types of finite automata play an important role in our proof.
性上瘾
发表于 2025-3-25 20:56:22
http://reply.papertrans.cn/47/4626/462524/462524_25.png
Fatten
发表于 2025-3-26 00:29:29
http://reply.papertrans.cn/47/4626/462524/462524_26.png
山顶可休息
发表于 2025-3-26 08:18:53
Efficient Automaton-Based Recognition for Linear Conjunctive Languagestomata: while the former are better suited for human use, the latter are considerably easier to implement. In this paper, an algorithm for converting an arbitrary linear conjunctive grammar to an equivalent automaton is proposed, and different techniques of reducing the size of existing automata are studied.
有抱负者
发表于 2025-3-26 08:41:24
-Subsequentiable Transducers. The theoretical formulation of our results is the equivalence of the following three properties for finite-state transducers: determinizability in the sense of the generalized algorithm, .-subsequentiability, and the twins property.
一大块
发表于 2025-3-26 15:01:28
http://reply.papertrans.cn/47/4626/462524/462524_29.png
MOCK
发表于 2025-3-26 17:35:59
http://reply.papertrans.cn/47/4626/462524/462524_30.png