A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
On injective endomorphisms of symbolic schemes
[article]

2018
*
arXiv
*
pre-print

We also establish several new ones regarding the closed image property, surjunctivity, reversibility, and invertibility for cellular

arXiv:1712.05716v3
fatcat:az4ez3fc5zerbjksroygxtayma
*automata*over algebraic varieties*with*coefficients in an algebraically ... Building on the seminal work of Gromov on endomorphisms of symbolic algebraic varieties [10], we introduce a notion of cellular*automata*over schemes which generalize affine algebraic cellular*automata*... As Spec(R) is*quasi*-compact for any ring R, we deduce that every subset of the underlying*topological*space of a*quasi*-compact scheme is*quasi*-compact for the induced*topology*. ...##
###
Page 7774 of Mathematical Reviews Vol. , Issue 96m
[page]

1996
*
Mathematical Reviews
*

to A is a right zero decomposition of pairwise isomorphic group-type

*quasi*-*automata*. ... The second part deals*with*effective approximations of uncount- able*topological*algebras. ...##
###
Page 6637 of Mathematical Reviews Vol. , Issue 90K
[page]

1990
*
Mathematical Reviews
*

*With*aspects from

*topology*. ... height, star height and finite

*automata*

*with*distance functions (pp. 74-88); John Meakin,

*Automata*and the word problem (pp. 89- 103); Wolfgang Thomas,

*Automata*and quantifier hierarchies (pp. 104-119) ...

##
###
Page 2256 of Mathematical Reviews Vol. , Issue 89D
[page]

1989
*
Mathematical Reviews
*

For the class of state-independent

*quasi*-*automata*the relationship between the characteristic semigroup of the generalized*power*quasiautomaton and the characteristic 68 COMPUTER SCIENCE semigroup of ... (H-BUDT) Generalized*power*quasiautomata. Papers on*automata*and languages, VIII, 33-44, DM, 86-3, Karl Marx Univ. Econom., Budapest, 1986. ...##
###
Cumulative subject index volumes 40–43

1979
*
Information and Control
*

realtime, and linear languages, 42, 27
Q

doi:10.1016/s0019-9958(79)90069-x
fatcat:prorkxke6ncuzeb52kxef5whba
*Quasi*-Optimizer program performance,*power*of heurist- ic rules in assessment, 40, 1 Queries order two, in combinatorial filing scheme, 43, 255 Questionnaire ... 43, 20 immediate, bus*automata*and, 40, 88 0L-DOL equivalence problem, decidabil- ity, 40, 301 linear, realtime pushdown store*automata*and, 42, 27 matrix, finite index family: incomparable*with*...##
###
Page 1989 of Mathematical Reviews Vol. 52, Issue 6
[page]

1976
*
Mathematical Reviews
*

*Topological*

*power*

*automata*

*with*

*quasi*-

*power*

*morphisms*. Math. Systems Theory 8 (1974), no. 1, 55-59. ... The present work is a response to this question; the rather com- plicated system presented (which we do not describe) is called a

*topological*

*power*automaton

*with*a

*quasi*-

*power*

*morphism*, and some of Wallace ...

##
###
Page 6961 of Mathematical Reviews Vol. , Issue 95k
[page]

1995
*
Mathematical Reviews
*

) algebra by means of a fairly

*powerful*apparatus (*topology*, group theory, vector spaces, etc.). ... It is shown (by analogy*with*finite state*automata*) that the*quasi*-regular sets— those sets accepted by some finite memory automaton—are closed under the Kleene operations and under Boolean operations ...##
###
How to Prove that a Language Is Regular or Star-Free?
[chapter]

2020
*
Lecture Notes in Computer Science
*

Most books of

doi:10.1007/978-3-030-40608-0_5
fatcat:mzoyw7mckzgxnhyggsxiq4bhoa
*automata*theory [9, 23, 29, 45, 49] offer exercises on regular languages, including some difficult ones. ... Another good source of tough questions is the recent book 200 Problems in Formal Languages and*Automata*Theory [36] . Surprisingly, there are very few exercises related to starfree languages. ... By a standard result of*topology*, K( M ), equipped*with*this metric, is compact. Let now τ : M → N be a transduction. ...##
###
Page 473 of Mathematical Reviews Vol. , Issue 96a
[page]

1996
*
Mathematical Reviews
*

It is shown that ¥ is closed under union, intersection, product, star, inverse

*morphisms*, nonerasing direct*morphisms*, and intersection*with*regular sets. ... 473 closed simultaneously*with*respect to a right-monotone and a left-monotone well*quasi*-order on S. Several refinements of this statement are also given. ...##
###
Subject index volumes 1–200

1999
*
Theoretical Computer Science
*

recursion theory, 737
representations of hypergraphs, 1599
size, 1637,2762

doi:10.1016/s0304-3975(98)00319-3
fatcat:s22ud3iiqjht7lfbtc3zctk7zm
*topological*space, 836*topological*space*with*a regular or self-similar structure, 3272 structure, 3272*topological*spaces ... systems, 1757*topological*dynamics, 860, 3228 of Turing machines, 3228 toolc of -. 860*topological*entropies, 1272*topological*entropy, 3228*topological*entropy of a TMH, 3228 systems, 1272*topological*...##
###
Algebraic and topological theory of languages

1995
*
RAIRO - Theoretical Informatics and Applications
*

Another essential tool of our work reveals interesting connections

doi:10.1051/ita/1995290100011
fatcat:ozms5mnd2vesvhg24iwx7nkxqe
*with**topology*. Let X be a finite alphabet. ... Furthermore, for each k > 0, X*/{I^ U {oo}) is a monoid, and if this monoid is endowed*with*the discrete*topology*, then the projection TT^ : X* -> X* /(Ik U {oo}) is a continuous*morphism*. ... In this section we will show how a rational ideal filtration is naturally associated*with*=. ...##
###
Page 416 of Mathematical Reviews Vol. 54, Issue 2
[page]

1977
*
Mathematical Reviews
*

cases in this paper) one considers the closure 2,,, of 2 in the homeo-

*morphism*group of D (*with*the compact open*topology*). ... In the paper several algebraic characterizations of semi-*morphisms*are given and the computability of semimorphisms by*automata*is studied. I. ...##
###
A remark on bilinear systems and moduli spaces of instantons

1987
*
Systems & control letters (Print)
*

Explicit equations are given for the moduli space of framed instantons as a

doi:10.1016/0167-6911(87)90064-8
fatcat:mlvlucvygbdj5gv2j36cnda25y
*quasi*-affine variety, based on the representation theory of noncommutative*power*series, or equivalently, the minimal realization ... The corresponding sequence of all possible such H α is a rational multiset or noncommutative*power*series, in the sense of*automata*theory (see [E] , [F1] , [F2] , [S1] , [S2] ). ... g = f • h on this open set, which is a*morphism*as desired. We summarize the above discussion*with*: Theorem 3.1. The mapping γ : B → N is a quotient of B under the action of GL(n, C). §4. ...##
###
Dual Space of a Lattice as the Completion of a Pervin Space
[chapter]

2017
*
Lecture Notes in Computer Science
*

We assume the reader is familiar

doi:10.1007/978-3-319-57418-9_2
fatcat:blqgjzhya5gc3cmecdd2dtgoxy
*with*basic*topology*on the one hand and finite*automata*theory on the other hand. No proofs are given in this extended abstract. ... A natural attempt would be to mimic the definition used for*topological*spaces (and for*quasi*-uniform spaces): a quotient map ϕ : X → Y should be a surjective*morphism*2 such that Y is equipped*with*the ... Pervin spaces are thus easier to define than*topological*spaces or (*quasi*)-uniform spaces. ...##
###
Page 7351 of Mathematical Reviews Vol. , Issue 2000j
[page]

2000
*
Mathematical Reviews
*

The g

*power*is strongly avoidable over an n-letter alphabet if there exists an infinite n-letter word not containing a commutative r*power**with*r > g. ... of curves under*topological*deformations. ...
« Previous

*Showing results 1 — 15 out of 332 results*