Log in

Relevant bibliographies by topics / Ω-automata / Journal articles

To see the other types of publications on this topic, follow the link: Ω-automata.

Journal articles on the topic 'Ω-automata'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Ω-automata.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Krithivasan, Kamala, K. Sharda та Sandeep V. Varma. "Distributed ω-Automata". International Journal of Foundations of Computer Science 14, № 04 (2003): 681–98. http://dx.doi.org/10.1142/s0129054103001959.

Full text

Abstract:

In this paper, we introduce the notion of distributed ω-automata. Distributed ω-automata are a group of automata working in unison to accept an ω-language. We build the theory of distributed ω-automata for finite state automata and pushdown automata in different modes of cooperation like the t-mode, *-mode, = k-mode, ≤ k-mode and ≥ k-mode along with different acceptance criteria i.e. Büchi-, Muller-, Rabin- and Streett- acceptance criteria. We then analyze the acceptance power of such automata in all the above modes of cooperation and acceptance criteria. We present proofs that distributed ω-f

APA, Harvard, Vancouver, ISO, and other styles

2

Baier, Christel, Marcus Grösser та Nathalie Bertrand. "Probabilistic ω-automata". Journal of the ACM 59, № 1 (2012): 1–52. http://dx.doi.org/10.1145/2108242.2108243.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Krithivasan, Kamala, та K. Sharda. "Fuzzy ω-automata". Information Sciences 138, № 1-4 (2001): 257–81. http://dx.doi.org/10.1016/s0020-0255(01)00150-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

CARNINO, VINCENT, and SYLVAIN LOMBARDY. "FACTORIZATIONS AND UNIVERSAL AUTOMATON OF OMEGA LANGUAGES." International Journal of Foundations of Computer Science 25, no. 08 (2014): 1111–25. http://dx.doi.org/10.1142/s0129054114400279.

Full text

Abstract:

We extend the concept of factorization on finite words to ω-rational languages and show how to compute them. We define a normal form for Büchi automata and introduce a universal automaton for Büchi automata in normal form. We prove that, for every ω-rational language, this Büchi automaton, based on factorization, is canonical and that it is the smallest automaton that contains the morphic image of every equivalent Büchi automaton in normal form.

APA, Harvard, Vancouver, ISO, and other styles

5

Lindsay, Peter A. "On alternating ω-automata". Journal of Computer and System Sciences 36, № 1 (1988): 16–24. http://dx.doi.org/10.1016/0022-0000(88)90018-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

KUPFERMAN, ORNA, GILA MORGENSTERN та ANIELLO MURANO. "TYPENESS FOR ω-REGULAR AUTOMATA". International Journal of Foundations of Computer Science 17, № 04 (2006): 869–83. http://dx.doi.org/10.1142/s0129054106004157.

Full text

Abstract:

We introduce and study three notions of typeness for automata on infinite words. For an acceptance-condition class γ (that is, γ is weak, Büchi, co-Büchi, Rabin, or Streett), deterministic γ-typeness asks for the existence of an equivalent γ-automaton on the same deterministic structure, nondeterministic γ-typeness asks for the existence of an equivalent γ-automaton on the same structure, and γ-powerset-typeness asks for the existence of an equivalent γ-automaton on the (deterministic) powerset structure – one obtained by applying the subset construction. The notions are helpful in studying th

APA, Harvard, Vancouver, ISO, and other styles

7

Engelfriet, Joost, та Hendrik Jan Hoogeboom. "X-automata on ω-words". Theoretical Computer Science 110, № 1 (1993): 1–51. http://dx.doi.org/10.1016/0304-3975(93)90349-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, Zhe. "On the Generative Power of ω-Grammars and ω-Automata". Fundamenta Informaticae 111, № 2 (2011): 119–45. http://dx.doi.org/10.3233/fi-2011-557.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Löding, Christof, та Max Philip Stachon. "On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words". Fundamenta Informaticae 189, № 1 (2023): 69–91. http://dx.doi.org/10.3233/fi-222152.

Full text

Abstract:

We study minimization problems for deterministic ω-automata in the presence of don’t care words. We prove that the number of priorities in deterministic parity automata can be efficiently minimized under an arbitrary set of don’t care words. We derive that from a more general result from which one also obtains an efficient minimization algorithm for deterministic parity automata with informative right-congruence (without don’t care words). We then analyze languages of don’t care words with a trivial right-congruence. For such sets of don’t care words it is known that weak deterministic Büchi a

APA, Harvard, Vancouver, ISO, and other styles

10

La Torre, Salvatore, та Margherita Napoli. "Finite automata on timed ω-trees". Theoretical Computer Science 293, № 3 (2003): 479–505. http://dx.doi.org/10.1016/s0304-3975(02)00611-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

PENG, WUXU, and S. PURUSHOTHAMAN IYER. "A NEW TYPE OF PUSHDOWN AUTOMATA ON INFINITE TREES." International Journal of Foundations of Computer Science 06, no. 02 (1995): 169–86. http://dx.doi.org/10.1142/s0129054195000123.

Full text

Abstract:

In this paper we consider pushdown automata on infinite trees with empty stack as the accepting condition (ω-EPDTA). We provide the following regarding ω-EPDTA: (a) its relationship to other Pushdown automata on infinite trees, (b) a Kleene-Closure theorem and (c) a single exponential time algorithm for checking emptiness. We demonstrate the usefulness of ω-EPDTA through two example applications: defining the temporal uniform inevitability property and specifying a context-free process with unbounded state space, both of which cannot be defined and/or specified by the classical finite state au

APA, Harvard, Vancouver, ISO, and other styles

12

Finkel, Olivier, and Stevo Todorčević. "A hierarchy of tree-automatic structures." Journal of Symbolic Logic 77, no. 1 (2012): 350–68. http://dx.doi.org/10.2178/jsl/1327068708.

Full text

Abstract:

AbstractWe consider ωn-automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ωn for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω2-automatic (resp. ωn-automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) is not determined by the axiomatic system ZFC. We infer from the proof of the above result

APA, Harvard, Vancouver, ISO, and other styles

13

Moriya, Tetsuo, та Hideki Yamasaki. "Accepting conditions for automata on ω-languages". Theoretical Computer Science 61, № 2-3 (1988): 137–47. http://dx.doi.org/10.1016/0304-3975(88)90121-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Muhiuddin, G., K. Janaki, D. Al-Kadi, R. Arulprakasam та V. Govindan. "On Subclasses of Recognizable ω ω − Partial Array Languages". Journal of Mathematics 2022 (12 вересня 2022): 1–11. http://dx.doi.org/10.1155/2022/1493126.

Full text

Abstract:

In this paper, the concepts of infinite partial array languages ( ω ω − partial array languages) and the classes of ω ω − partial array languages, namely, local ω ω − partial array languages, Buchi local ω ω − partial array languages, and Muller local ω ω − partial array languages are defined, and their related properties are studied. Furthermore, we introduce nondeterministic finite online tessellation h -automata on ω ω − partial array languages. In addition, we prove that the class of all adherences of finite local partial array languages is equal to the class of all local ω ω − partial arr

APA, Harvard, Vancouver, ISO, and other styles

15

Carton, Olivier, та Dominique Perrin. "Chains and Superchains for ω-Rational Sets, Automata and Semigroups". International Journal of Algebra and Computation 07, № 06 (1997): 673–95. http://dx.doi.org/10.1142/s0218196797000290.

Full text

Abstract:

We introduce several equivalent notions that generalize ones introduced by Klaus Wagner for finite Muller automata under the name of chains and superchains. We define such objects in relation to ω-rational sets, Muller automata or also ω-semigroups. We prove their equivalence and derive some basic properties of these objects. In a subsequent paper, we show how these concepts allow us to derive a new presentation of the hierarchy due to K. Wagner and W. Wadge.

APA, Harvard, Vancouver, ISO, and other styles

16

Dobronravov, Egor, Nikita Dobronravov, and Alexander Okhotin. "On the Length of Shortest Strings Accepted by Two-way Finite Automata." Fundamenta Informaticae 180, no. 4 (2021): 315–31. http://dx.doi.org/10.3233/fi-2021-2044.

Full text

Abstract:

Given a two-way finite automaton recognizing a non-empty language, consider the length of the shortest string it accepts, and, for each n ≥ 1, let f(n) be the maximum of these lengths over all n-state automata. It is proved that for n-state two-way finite automata, whether deterministic or nondeterministic, this number is at least Ω(10n/5) and less than (2nn+1), with the lower bound reached over an alphabet of size Θ(n). Furthermore, for deterministic automata and for a fixed alphabet of size m ≥ 1, the length of the shortest string is at least e(1+o(1))mn(log n− log m).

APA, Harvard, Vancouver, ISO, and other styles

17

SAOUDI, A., D. E. MULLER та P. E. SCHUPP. "ON THE COMPLEXITY OF RECOGNIZABLE ω-TREE SETS AND NERODE THEOREM". International Journal of Foundations of Computer Science 01, № 01 (1990): 11–21. http://dx.doi.org/10.1142/s0129054190000035.

Full text

Abstract:

In this paper we consider the extension of Nerode theorem to infinite trees. Unfortunately, we prove that this extension is not possible. We give some characterizations of recognizable and rational ω-tree sets in terms of ω-tree automata. We consider some complexity measures of recognizable and rational ω-tree sets and prove that these measures define infinite hierarchies.

APA, Harvard, Vancouver, ISO, and other styles

18

Droste, Manfred, та Werner Kuich. "A Kleene Theorem for Weighted ω-Pushdown Automata". Acta Cybernetica 23, № 1 (2017): 43–59. http://dx.doi.org/10.14232/actacyb.23.1.2017.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Thistle, J. G., та R. P. Malhamé. "Control of ω-automata under state fairness assumptions". Systems & Control Letters 33, № 4 (1998): 265–74. http://dx.doi.org/10.1016/s0167-6911(97)00106-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Tao, Yunfeng. "Infinity problems and countability problems for ω-automata". Information Processing Letters 100, № 4 (2006): 151–53. http://dx.doi.org/10.1016/j.ipl.2006.06.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Kuich, Werner. "Automata and languages generalized to ω-continuous semirings". Theoretical Computer Science 79, № 1 (1991): 137–50. http://dx.doi.org/10.1016/0304-3975(91)90147-t.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Touati, H. J., та R. K. Brayton. "Testing Language Containment for ω-Automata Using BDDs". Information and Computation 118, № 1 (1995): 101–9. http://dx.doi.org/10.1006/inco.1995.1055.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Löding, Christof. "Simplification Problems for Deterministic Pushdown Automata on Infinite Words." International Journal of Foundations of Computer Science 26, no. 08 (2015): 1041–68. http://dx.doi.org/10.1142/s0129054115400122.

Full text

Abstract:

The article surveys some decidability results concerning simplification problems for DPDAs on infinite words (ω-DPDAs). We summarize some recent results on the regularity problem, which asks for a given ω-DPDA, whether its language can also be accepted by a finite automaton. The results also give some insights on the equivalence problem for a subclass of ω-DPDA. Furthermore, we present some new results on the parity index problem for ω-DPDAs. For the specification of a parity condition, the states of the ω-DPDA are assigned priorities (natural numbers), and a run is accepting if the highest pr

APA, Harvard, Vancouver, ISO, and other styles

24

SAOUDI, A. "PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS." International Journal of Foundations of Computer Science 03, no. 01 (1992): 21–39. http://dx.doi.org/10.1142/s0129054192000048.

Full text

Abstract:

We introduce various types of top-down pushdown infinite tree automata. We extend the Landweber-Staiger-Wagner hierarchy to pushdown infinite tree automata. We prove that the extension of Kleene’s theorem to pushdown infinite tree automata is not possible. We characterize recognizable (i.e. regular) infinite trees and extend Eilenberg’s theorem to ω-tree pushdown automata. We give some characterizations of infinite computations of nondeterministic context-free program schemes. We show that the equivalence problem for nondeterministic context-free program schemes is unsolvable.

APA, Harvard, Vancouver, ISO, and other styles

25

KUTRIB, MARTIN, ANDREAS MALCHER, and MATTHIAS WENDLANDT. "SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA." International Journal of Foundations of Computer Science 25, no. 07 (2014): 877–96. http://dx.doi.org/10.1142/s0129054114400139.

Full text

Abstract:

We investigate the descriptional complexity of deterministic one-way multi-head finite automata accepting unary languages. It is known that in this case the languages accepted are regular. Thus, we study the increase of the number of states when an n-state k-head finite automaton is simulated by a classical (one-head) deterministic or nondeterministic finite automaton. In the former case upper and lower bounds that are tight in the order of magnitude are shown. For the latter case we obtain an upper bound of O(n2k) and a lower bound of Ω(nk) states. We investigate also the costs for the conver

APA, Harvard, Vancouver, ISO, and other styles

26

Droste, Manfred, Zoltán Ésik та Werner Kuich. "The Triple-Pair Construction for Weighted ω-Pushdown Automata". Electronic Proceedings in Theoretical Computer Science 252 (21 серпня 2017): 101–13. http://dx.doi.org/10.4204/eptcs.252.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

La Torre, Salvatore, та Margherita Napoli. "A Model of Finite Automata on Timed ω-Trees". Electronic Notes in Theoretical Computer Science 42 (січень 2001): 158–73. http://dx.doi.org/10.1016/s1571-0661(04)80884-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Bhatia, Amandeep Singh, та Ajay Kumar. "Quantum ω-Automata over Infinite Words and Their Relationships". International Journal of Theoretical Physics 58, № 3 (2019): 878–89. http://dx.doi.org/10.1007/s10773-018-3983-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

PETTOROSSI, ALBERTO, MAURIZIO PROIETTI, and VALERIO SENNI. "Transformations of logic programs on infinite lists." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 383–99. http://dx.doi.org/10.1017/s1471068410000177.

Full text

Abstract:

AbstractWe consider an extension of logic programs, called ω-programs, that can be used to define predicates overinfinite lists. ω-programs allow us to specify properties of the infinite behavior of reactive systems and, in general, properties of infinite sequences of events. The semantics of ω-programs is an extension of the perfect model semantics. We present variants of the familiar unfold/fold rules which can be used for transforming ω-programs. We show that these new rules are correct, that is, their application preserves the perfect model semantics. Then we outline a general methodology

APA, Harvard, Vancouver, ISO, and other styles

30

DUPARC, JACQUES, та MARIANE RISS. "THE MISSING LINK FOR ω-RATIONAL SETS, AUTOMATA, AND SEMIGROUPS". International Journal of Algebra and Computation 16, № 01 (2006): 161–85. http://dx.doi.org/10.1142/s0218196706002871.

Full text

Abstract:

In 1997, following the works of Klaus W. Wagner on ω-regular sets, Olivier Carton and Dominique Perrin introduced the notions of chains and superchains for ω-semigroups. There is a clear correspondence between the algebraic representation of each of these operations and the automata-theoretical one. Unfortunately, chains and superchains do not suffice to describe the whole Wagner hierarchy. We introduce a third notion that completes the task undertaken by these two authors.

APA, Harvard, Vancouver, ISO, and other styles

31

Veanes, Margus, Thomas Ball, Gabriel Ebner, and Ekaterina Zhuchko. "Symbolic Automata: Omega-Regularity Modulo Theories." Proceedings of the ACM on Programming Languages 9, POPL (2025): 33–66. https://doi.org/10.1145/3704838.

Full text

Abstract:

Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally applied to regular expressions and languages over finite words. In symbolic automata (or automata modulo A ), an alphabet is represented by an effective Boolean algebra A , supported by a decision procedure for satisfiability. Regular languages over infinite words (so called ω-regular languages) have a rich history paralleling that of regular languages over finite words, with well-known applications to model checking via Büchi automata and temporal logics. We

APA, Harvard, Vancouver, ISO, and other styles

32

DANG, ZHE, та OSCAR H. IBARRA. "THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS". International Journal of Foundations of Computer Science 13, № 06 (2002): 911–36. http://dx.doi.org/10.1142/s0129054102001539.

Full text

Abstract:

We show that it is decidable whether a transitive mixed linear relation has an ω-chain. Using this result, we study a number of liveness verification problems for generalized timed automata within a unified framework. More precisely, we prove that (1) the mixed linear liveness problem for a timed automaton with dense clocks, reversal-bounded counters, and a free counter is decidable, and (2) the Presburger liveness problem for a timed automaton with discrete clocks, reversal-bounded counters, and a pushdown stack is decidable.

APA, Harvard, Vancouver, ISO, and other styles

33

DROSTE, MANFRED, and ULRIKE PÜSCHMANN. "ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS." International Journal of Algebra and Computation 17, no. 02 (2007): 235–60. http://dx.doi.org/10.1142/s0218196707003585.

Full text

Abstract:

We investigate Büchi automata with weights for the transitions. Assuming that the weights are taken in a suitable ordered semiring, we show how to define the behaviors of these automata on infinite words. Our main result shows that the formal power series arising in this way are precisely the ones which can be constructed using ω-rational operations. This extends the classical Kleene–Schützenberger result for weighted finite automata to the case of infinite words and generalizes Büchi's theorem on languages of infinite words. We also derive versions of our main result for non-complete semiring

APA, Harvard, Vancouver, ISO, and other styles

34

CHUA, LEON O., and GIOVANNI E. PAZIENZA. "A NONLINEAR DYNAMICS PERSPECTIVE OF WOLFRAM'S NEW KIND OF SCIENCE PART XII: PERIOD-3, PERIOD-6, AND PERMUTIVE RULES." International Journal of Bifurcation and Chaos 19, no. 12 (2009): 3887–4038. http://dx.doi.org/10.1142/s0218127409025365.

Full text

Abstract:

This 12th part of our Nonlinear Dynamics Perspective of Cellular Automata concludes a series of three articles devoted to CA local rules having robust periodic ω-limit orbits. Here, we consider only the two rules, [Formula: see text] and [Formula: see text], constituting the third of the six groups in which we classified the 1D binary Cellular Automata. Among the numerous theoretical results contained in this article, we emphasize the complete characterization of the ω-limit orbits, both robust and nonrobust, of these two rules and the proof that period-3 and period-6 ω-limit orbits are dense

APA, Harvard, Vancouver, ISO, and other styles

35

CHAMPARNAUD, JEAN-MARC, FRANCK GUINGNE, and GEORGES HANSEL. "COVER TRANSDUCERS FOR FUNCTIONS WITH FINITE DOMAIN." International Journal of Foundations of Computer Science 16, no. 05 (2005): 851–65. http://dx.doi.org/10.1142/s0129054105003339.

Full text

Abstract:

Cover automata were introduced a few years ago for designing a compact representation of finite languages. Our aim is to extend this notion to cover transducers for functions with finite domain. Given two alphabets Σ and Ω, and a function α : Σ* → Ω* of order l (the maximal length of a word in the domain of α), a cover transducer for α is any subsequential transducer that realizes the function α when its input is restricted to the set of words of Σ* having a length not greater than l. We study the problem of reducing the number of states of a cover transducer. We report experimental results, f

APA, Harvard, Vancouver, ISO, and other styles

36

Esparza, Javier, Jan Křetínský та Salomon Sickert. "A Unified Translation of Linear Temporal Logic to ω-Automata". Journal of the ACM 67, № 6 (2020): 1–61. http://dx.doi.org/10.1145/3417995.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Isaak, Dimitri, та Christof Löding. "Efficient inclusion testing for simple classes of unambiguous ω-automata". Information Processing Letters 112, № 14-15 (2012): 578–82. http://dx.doi.org/10.1016/j.ipl.2012.04.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Bedon, Nicolas. "Automata, Semigroups and Recognizability of Words on Ordinals." International Journal of Algebra and Computation 08, no. 01 (1998): 1–21. http://dx.doi.org/10.1142/s0218196798000028.

Full text

Abstract:

For a given integer n, we define ωn-semigroups as a generalization of ω-semigroups for languages of words of length less than ωn+1. When they are finite, those algebraic structures define the same sets as those recognized by Choueka automata. These sets are also equivalent to regular expressions in which an unary ω operator standing for the infinite repetition of a language is as free as the Kleene closure operator is. Naturally, the notion of syntactic congruence still works on ωn-semigroups: among all ωn-semigroups recognizing a regular language X, there exists an unique ωn-semigroup of whic

APA, Harvard, Vancouver, ISO, and other styles

39

Droste, Manfred, Werner Kuich, and George Rahonis. "Multi-Valued MSO Logics OverWords and Trees." Fundamenta Informaticae 84, no. 3-4 (2008): 305–27. https://doi.org/10.3233/fun-2008-843-402.

Full text

Abstract:

We introduce multi-valued Büchi and Muller automata over distributive lattices and a multi-valued MSO logic for infinite words. For this logic, we prove the expressive equivalence of ω-recognizable and MSO-definable infinitary formal power series over distributive lattices with negation function. Then we consider multi-valued Muller tree automata and a multi-valued MSO logic for trees over distributive lattices. For this logic, we establish a version of Rabin's theorem for infinitary tree series.

APA, Harvard, Vancouver, ISO, and other styles

40

Ésik, Zoltán, and Werner Kuich. "Rationally Additive Semirings." JUCS - Journal of Universal Computer Science 8, no. (2) (2002): 173–83. https://doi.org/10.3217/jucs-008-02-0173.

Full text

Abstract:

We define rationally additive semirings that are a generalization of (ω)-complete and (ω)-continuous semirings. We prove that every rationally additive semiring is an iteration semiring. Moreover, we characterize the semirings of rational power series with coefficients in , the semiring of natural numbers equipped with a top element, as the free rationally additive semirings 1.) C. S. Calude, K. Salomaa, S. Yu (eds.). Advances and Trends in Automata and Formal Languages. A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen.

APA, Harvard, Vancouver, ISO, and other styles

41

Safra, Shmuel. "Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition". SIAM Journal on Computing 36, № 3 (2006): 803–14. http://dx.doi.org/10.1137/s0097539798332518.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

LIN, YIH-KAI, та HSU-CHUN YEN. "An ω-Automata Approach to the Compression of Bi-Level Images". Electronic Notes in Theoretical Computer Science 31 (2000): 170–84. http://dx.doi.org/10.1016/s1571-0661(05)80338-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Klein, Joachim, та Christel Baier. "Experiments with deterministic ω-automata for formulas of linear temporal logic". Theoretical Computer Science 363, № 2 (2006): 182–95. http://dx.doi.org/10.1016/j.tcs.2006.07.022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Melnikov, B. F. "2 ω-finite automata and sets of obstructions of their languages". Korean Journal of Computational & Applied Mathematics 6, № 3 (1999): 565–74. http://dx.doi.org/10.1007/bf03009949.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Giannakis, Konstantinos, Georgia Theocharopoulou, Christos Papalitsas, Theodore Andronikos та Panayiotis Vlamos. "Associating ω-automata to path queries on Webs of Linked Data". Engineering Applications of Artificial Intelligence 51 (травень 2016): 115–23. http://dx.doi.org/10.1016/j.engappai.2016.01.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Han, Zheng, Qiang Fu, Nan Jiang, Yangfan Ma, Xiulin Zhang, and Yange Li. "Optimizing the Numerical Simulation of Debris Flows: A New Exploration of the Hexagonal Cellular Automaton Method." Water 16, no. 11 (2024): 1536. http://dx.doi.org/10.3390/w16111536.

Full text

Abstract:

Debris flow, driven by natural events like heavy rainfall and snowmelt, involves sediment, rocks, and water, posing destructive threats to life and infrastructure. The accurate prediction of its activity range is crucial for prevention and mitigation efforts. Cellular automata circumvent is the cumbersome process of solving partial differential equations, thereby efficiently simulating complex dynamic systems. Given the anisotropic characteristics of square cells in the simulation of dynamic systems, this paper proposes a novel approach, utilizing a hexagonal cellular automaton for the numeric

APA, Harvard, Vancouver, ISO, and other styles

47

Tran, Nicholas. "The Book Review Column." ACM SIGACT News 55, no. 1 (2024): 6–19. http://dx.doi.org/10.1145/3654780.3654782.

Full text

Abstract:

I am a fan of Sheldon Ross' textbooks on probability; they are concise and full of interesting exercises. He and Erol Pek¨oz have just released a second edition of A Second Course in Probability (Cambridge University Press, 2023), which promises a rigorous but accessible and modern introduction to a selection of advanced topics in the field. Javier Esparza's work includes using automata to study model checking, program analysis and verification. His book (coauthored with Michael Blondin) Automata Theory: An Algorithmic Approach (The MIT Press, 2023) emphasizes efficient constructions of (ω-)au

APA, Harvard, Vancouver, ISO, and other styles

48

MALETTI, ANDREAS. "RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA." International Journal of Foundations of Computer Science 16, no. 04 (2005): 723–41. http://dx.doi.org/10.1142/s012905410500325x.

Full text

Abstract:

Bottom-up tree series transducers (tst) over the semiring [Formula: see text] are implemented with the help of bottom-up weighted tree automata (wta) over an extension of [Formula: see text]. Therefore bottom-up [Formula: see text]-weighted tree automata ([Formula: see text]-wta) with [Formula: see text] a distributive Ω-algebra are introduced. A [Formula: see text]-wta is essentially a wta but uses as transition weight an operation symbol of the Ω-algebra [Formula: see text] instead of a semiring element. The given tst is implemented with the help of a [Formula: see text]-wta, essentially sho

APA, Harvard, Vancouver, ISO, and other styles

49

Moriya, Tetsuo. "ω-Languages accepted by finite automata whose structures are cascade products of resets". Information Sciences 61, № 1-2 (1992): 179–86. http://dx.doi.org/10.1016/0020-0255(92)90039-b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Barozzini, David, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari та Pietro Sala. "Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts". Theoretical Computer Science 813 (квітень 2020): 270–304. http://dx.doi.org/10.1016/j.tcs.2019.12.029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!