A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
An Algebraic Characterization of Strictly Piecewise Languages
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
The algebraic characterization highlights a similarity between the Strictly Piecewise and Strictly Local languages, and also leads to a procedure which can decide whether a regular language L is Strictly ...
Piecewise in polynomial time in the size of the syntactic monoid for L. ...
Also, the algebraic characterization for SP provides a polynomial-time decision procedure for a regular language in the size of its syntactic monoid. ...
doi:10.1007/978-3-642-20877-5_26
fatcat:pudolioeg5e2rkeoxtrvftdtuy
Page 4352 of Mathematical Reviews Vol. , Issue 2000f
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A semigroup S is strongly locally testable if it is strongly k-testable for some k > 1. For finite semigroups, x® denotes the unique power of x that is idempotent. ...
The algebra is distinguished by the design decision that it only allows actions to pre-empt others at the same ‘location’ and there- fore captures a notion of localized precedence. ...
Page 261 of Mathematical Reviews Vol. , Issue 85a
[page]
1985
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
., TIL schemes] are identified with certain RL schemes for which RF is a strictly locally testable language [resp., a finite union of strictly locally testable languages]. ...
Using the virtual identity of RL schemes with a-transducers, a collection of decision procedures are imported into L theory from the theory of a-transducers. ...
Page 6034 of Mathematical Reviews Vol. , Issue 88k
[page]
1988
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(The corresponding proper- ties of languages are: rational, star-free, piecewise testable, endwise testable, and locally testable.) ...
Summary: “The Knuth-Bendix procedure for word problems in universal algebra is known to be very effective when it is applica- ble. ...
Quantum probability and quantum decision making
[article]
2016
arXiv
pre-print
Preserved Fulltext
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.
A rigorous general definition of quantum probability is given, which is valid for elementary events and for composite events, for operationally testable measurements as well as for inconclusive measurements ...
Conditions are formulated for the case when quantum decision theory reduces to its classical counterpart and for the situation where the use of quantum decision theory is necessary. ...
Yukalova for discussions. Funding: Financial support from the Swiss National Foundation is appreciated. ...
arXiv:1601.02480v1
fatcat:nkeajivmc5ezbjrgyvnfrj5qvu
Quantum probability and quantum decision-making
2015
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Let A = {Â} be an algebra of local observables defined on a Hilbert space H A . ...
Observable quantities in quantum theory are represented by self-adjoint operators, sayÂ, from the algebra of local observables. ...
Yukalova for discussions. ...
doi:10.1098/rsta.2015.0100
pmid:26621989
fatcat:6f7dustp5ncp5mqsksadcpjaba
A characterization of strictly locally testable languages and its application to subsemigroups of a free semigroup
1980
Information and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This condition gives then an algebraic decision procedure for strictly local 300 ...
The characterization of strictly locally subsets X of A + is that X is strictly locally testable if and only if all the sufficiently long words of A-are constants for X. ...
Proposition 2.1 is of great interest since it gives, being S(X) finite, an algebraic decision procedure for local testability. ...
doi:10.1016/s0019-9958(80)90180-1
fatcat:pluuy6hcb5gu7blc5z2upf2fzu
Verification Tools for Checking some kinds of Testability
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
A set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold locally testable, ...
We consider some approaches to verify these procedures and use for this aim some auxiliary programs. ...
The package contains a set of procedures for deciding whether or not a language given by its minimal automaton or by its syntactic semigroup is locally testable, right or left locally testable, threshold ...
arXiv:2106.02312v1
fatcat:offfcgrr7rbjjp7y6fhhkhyeou
Algebraic recognizability of languages
[article]
2006
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Recognizable languages of finite words are part of every computer science cursus, and they are routinely described as a cornerstone for applications and for theory. ...
We would like to briefly explore why that is, and how this word-related notion extends to more complex models, such as those developed for modeling distributed or timed behaviors. ...
This possibility is explicitly stated in Theorem 1.2, but it is also the underlying reason for the decision procedures concerning piecewise testable (Stern [76] ) and locally testable languages (Kim, ...
arXiv:cs/0609110v1
fatcat:2fnhr3gu5rdbbdugq76cqfvl4y
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
2013
Foundations of Software Technology and Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. ...
In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting the input languages. ...
Locally Threshold Testable Languages. ...
doi:10.4230/lipics.fsttcs.2013.363
dblp:conf/fsttcs/PlaceRZ13
fatcat:olpvektv2zbxzk4mkofu6fkpbu
Probabilistically Checkable Proofs and Codes
2011
Proceedings of the International Congress of Mathematicians 2010 (ICM 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
First, we describe the related and possibly cleaner problem of constructing locally testable codes. These are essentially error correcting codes that are testable by a randomized local algorithm. ...
Although the verification is simple, it is not local, i.e., a verifier must typically read (almost) the entire proof in order to reach the right decision. ...
Acknowledgements I wish to thank Adi Akavia, Elazar Goldenberg, Or Meir, Igor Shinkar and Oded Schwartz for helpful comments. ...
doi:10.1142/9789814324359_0013
fatcat:dudwyxj3snerfjreay3bl26b4u
Algebraic Recognizability of Languages
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we concentrate on the algebraic notion of recognizability: that which, for finite words, exploits the monoid structure of the set of words, and relies on the consideration of monoid morphisms ...
timed words, etc) -, and for extending to these models the tools that were developped for words. ...
This possibility is explicitly stated in Theorem 1.2, but it is also the underlying reason for the decision procedures concerning piecewise testable (Stern [76] ) and locally testable languages (Kim, ...
doi:10.1007/978-3-540-28629-5_8
fatcat:5el7wd3umvgdzhw4dxukeugoci
Forest Categories
[article]
2018
arXiv
pre-print
Preserved Fulltext
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.
As an illustration of the usefulness of this method, we provide a new proof of a result of Place and Segoufin characterizing locally testable tree languages. ...
We extend Tilson's theory of the algebra of finite categories, in particular, the Derived Category Theorem, to the setting of forest algebras. ...
For local testability, this implies the following: Theorem 8 If L ⊆ H A is locally testable, then it is |H| 2 + 1-locally testable.
Proof By hypothesis, L is N -locally testable for some N. ...
arXiv:1801.04337v1
fatcat:2ofmsya3w5dphbybv3wzdtvype
An algebraic characterization of frontier testable tree languages
1996
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The class of frontier testable (i.e., reverse definite) tree languages is characterized by a !inite set of pseudoidentities for tree algebras, which are introduced here for this characterization. ...
An efficient algorithm is presented that decides whether a given tree automaton recognizes a frontier testable tree language. ...
Acknowledgements I thank Magnus Steinby, Andreas Podelski, and the anonymous referee for valuable comments on and corrections of this paper and also its conference version [ 181. ...
doi:10.1016/0304-3975(95)00131-x
fatcat:5nsyzhg4lbdfbgtwjfkwcknwlq
Testing Assignments to Constraint Satisfaction Problems
[article]
2016
arXiv
pre-print
Preserved Fulltext
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.
(ii) Else, if A has a (k + 1)-ary near-unanimity polymorphism for some k ≥ 2, and no Maltsev polymorphism then ∃CSP(A) is not constant-query testable (even with two-sided error) but is sublinear-query ...
testable with one-sided error. ...
in the Split procedure. ...
arXiv:1608.03017v1
fatcat:znn7lunimnajvgmr4arfqvi3g4
« Previous
Showing results 1 — 15 out of 3,067 results