A regular language L together with a binary relation ≤L on L is an automatic presentation of the rationals iff (L,≤L) is isomorphic to (Q,≤) and ≤L can be accepted by a synchronous two-tape automaton. An automorphism of (L,≤L) is automatic iff it can be computed by a synchronous two-tape automaton. We show (1) that the canonical presentation from [5] is automatic-homogeneous (any tuple can be m...

he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...

The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...

We prove that a minimal automaton has a minimal adjacency matrix rank and a minimal adjacency matrix nullity using equitable partition (from graph spectra theory) and Nerode partition (from automata theory). This result naturally introduces the notion of matrix rank into a regular language L, the minimal adjacency matrix rank of a deterministic automaton that recognises L. We then define and fo...

We propose a method for realising the proofs of Intuitionistic Zermelo-Fraenkel set theory (IZF) by strongly normalising λ-terms. This method relies on the introduction of a Curry-style type theory extended with specific subtyping principles, which is then used as a low-level language to interpret IZF via a representation of sets as pointed graphs inspired by Aczel’s hyperset theory. As a conse...

this paper gives a short survey of some of the known results generalizing the theorem, credited to i. schur, that if the central factor group is finite then the derived subgroup is also finite.

A tree transducer with origin translates an input tree into a pair of output tree and origin info. The origin info maps each node in the output tree to the unique input node that created it. In this way, the implementation of the transducer becomes part of its semantics. We show that the landscape of decidable properties changes drastically when origin info is added. For instance, equivalence o...

in this paper, after reviewing some results in minimal space, some new results in this setting are given. we prove a generalized form of the fan-kkm typetheorem in minimal vector spaces. as some applications, the open type of matching theorem and generalized form of the classical kkm theorem in minimal vector spaces are given.