Directed
发表于 2025-3-23 13:05:29
0302-9743 Overview: 978-3-540-31023-5978-3-540-33097-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
Anticonvulsants
发表于 2025-3-23 16:32:29
http://reply.papertrans.cn/47/4626/462537/462537_12.png
ETCH
发表于 2025-3-23 21:20:50
http://reply.papertrans.cn/47/4626/462537/462537_13.png
nascent
发表于 2025-3-24 02:01:40
Prime Normal Form and Equivalence of Simple Grammars to .(.. log..) and .(.. polylog .) deterministic time, and .(.. polylog .) randomized time, where . is the total size of the grammars involved, and . is the length of a shortest string derivable from a nonterminal, maximized over all nonterminals. Our improvement is based on a version of Caucal’s algorithm from .
售穴
发表于 2025-3-24 04:14:18
Shorter Regular Expressions from Finite-State Automatanate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that lead to shorter regular expressions based on vertical chopping and horizontal chopping..Note that we have omitted almost all proofs in this preliminary version.
Blood-Clot
发表于 2025-3-24 09:00:03
Component Composition Preserving Behavioural Contracts Based on Communication Tracesdeed compositional and yields a new component or . that respects its constituents’ contracts. Thus the behaviour of the composite is computed from the behaviours of its constituents and is known to conform to the contracts without any new proof.
Accord
发表于 2025-3-24 12:14:16
An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automatawhen the number of states in the DFCA is significantly less than the number of states in the corresponding minimal DFA. We have implemented the proposed algorithm and have tested it against the best known DFCA minimization technique.
folliculitis
发表于 2025-3-24 16:26:29
http://reply.papertrans.cn/47/4626/462537/462537_18.png
meditation
发表于 2025-3-24 19:42:17
A Class of Rational ,-WFSM Auto-intersectionsne a class of triples 〈., ., .〉 such that the auto-intersection of the machine . on tapes . and . can be computed by a delay-based algorithm. We point out how to extend this class and hope that it is sufficient for many practical applications.
Oversee
发表于 2025-3-25 01:21:55
http://reply.papertrans.cn/47/4626/462537/462537_20.png