morale
发表于 2025-3-28 16:03:21
http://reply.papertrans.cn/47/4626/462523/462523_41.png
palliate
发表于 2025-3-28 19:24:00
On the Size of Deterministic Finite Automata,complexity of determinization is far lower. On the base of pioneering idea of homogenous finite automata, two classes of finite automata are defined and the complexity of their determinization are shown. These classes are called generalized homogenous finite automata and semihomogenous finite automata.
Blatant
发表于 2025-3-29 01:45:35
Using Finite State Technology in Natural Language Processing of Basque,rrector for Basque named Xuxen. The analyser is a basic tool for current and future work on NLP of Basque, such as the lemmatiser/tagger Euslem, an Intranet search engine or an assistant for verse-making.
consent
发表于 2025-3-29 03:06:05
http://reply.papertrans.cn/47/4626/462523/462523_44.png
A精确的
发表于 2025-3-29 08:35:46
http://reply.papertrans.cn/47/4626/462523/462523_45.png
NATAL
发表于 2025-3-29 14:51:44
Submodule Construction and Supervisory Control: A Generalization,authors for various assumptions about the underlying communication mechanisms and conformance relations. We present a generalization of this problem and its solution using concepts from relational database theory. We also show that several of the existing solutions are special cases of our general formulation
Temporal-Lobe
发表于 2025-3-29 15:51:01
Counting the Solutions of Presburger Equations without Enumerating Them,velop an efficient projection method that allows to construct efficiently NDDs from quantified formulas, and thus makes it possible to apply our counting technique to sets specified by formulas. Our algorithms have been implemented in the verification tool LASH, and applied successfully to various counting problems.
委托
发表于 2025-3-29 23:12:30
http://reply.papertrans.cn/47/4626/462523/462523_48.png
largesse
发表于 2025-3-30 01:40:21
Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting,ies. Isomorphic subautomata are duplicated in the tree-based automata. We discuss and develop an efficient approach to space requirement optimisation, matching time and termination properties improvement.
choleretic
发表于 2025-3-30 04:51:54
,Brzozowski’s Derivatives Extended to Multiplicities,this set by coarser and coarser congruences which lead to an extension - in the case of multiplicities - of some classical results stated in the Boolean case. In particular, analogues of the well known theorems of Brzozowski and Antimirov are provided in this frame.