-
Proceedings of the 16th International Conference on Automata and Formal Languages
Authors:
Zsolt Gazdag,
Szabolcs Iván,
Gergely Kovásznai
Abstract:
The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterházy Károly Catholic University of Eger, Hungary, and the University of Szeged, Hungary. Topics of interest covered the theory and applications of automata and formal languages and related areas.
This volume contains the texts of the 3 invited present…
▽ More
The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterházy Károly Catholic University of Eger, Hungary, and the University of Szeged, Hungary. Topics of interest covered the theory and applications of automata and formal languages and related areas.
This volume contains the texts of the 3 invited presentations and the 18 papers selected by the International Program Committee from a total of 23 submissions. We would like to thank everybody who submitted a paper to the conference.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
Land Cover and Land Use Detection using Semi-Supervised Learning
Authors:
Fahmida Tasnim Lisa,
Md. Zarif Hossain,
Sharmin Naj Mou,
Shahriar Ivan,
Md. Hasanul Kabir
Abstract:
Semi-supervised learning (SSL) has made significant strides in the field of remote sensing. Finding a large number of labeled datasets for SSL methods is uncommon, and manually labeling datasets is expensive and time-consuming. Furthermore, accurately identifying remote sensing satellite images is more complicated than it is for conventional images. Class-imbalanced datasets are another prevalent…
▽ More
Semi-supervised learning (SSL) has made significant strides in the field of remote sensing. Finding a large number of labeled datasets for SSL methods is uncommon, and manually labeling datasets is expensive and time-consuming. Furthermore, accurately identifying remote sensing satellite images is more complicated than it is for conventional images. Class-imbalanced datasets are another prevalent phenomenon, and models trained on these become biased towards the majority classes. This becomes a critical issue with an SSL model's subpar performance. We aim to address the issue of labeling unlabeled data and also solve the model bias problem due to imbalanced datasets while achieving better accuracy. To accomplish this, we create "artificial" labels and train a model to have reasonable accuracy. We iteratively redistribute the classes through resampling using a distribution alignment technique. We use a variety of class imbalanced satellite image datasets: EuroSAT, UCM, and WHU-RS19. On UCM balanced dataset, our method outperforms previous methods MSMatch and FixMatch by 1.21% and 0.6%, respectively. For imbalanced EuroSAT, our method outperforms MSMatch and FixMatch by 1.08% and 1%, respectively. Our approach significantly lessens the requirement for labeled data, consistently outperforms alternative approaches, and resolves the issue of model bias caused by class imbalance in datasets.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Rethinking Cooking State Recognition with Vision Transformers
Authors:
Akib Mohammed Khan,
Alif Ashrafee,
Reeshoon Sayera,
Shahriar Ivan,
Sabbir Ahmed
Abstract:
To ensure proper knowledge representation of the kitchen environment, it is vital for kitchen robots to recognize the states of the food items that are being cooked. Although the domain of object detection and recognition has been extensively studied, the task of object state classification has remained relatively unexplored. The high intra-class similarity of ingredients during different states o…
▽ More
To ensure proper knowledge representation of the kitchen environment, it is vital for kitchen robots to recognize the states of the food items that are being cooked. Although the domain of object detection and recognition has been extensively studied, the task of object state classification has remained relatively unexplored. The high intra-class similarity of ingredients during different states of cooking makes the task even more challenging. Researchers have proposed adopting Deep Learning based strategies in recent times, however, they are yet to achieve high performance. In this study, we utilized the self-attention mechanism of the Vision Transformer (ViT) architecture for the Cooking State Recognition task. The proposed approach encapsulates the globally salient features from images, while also exploiting the weights learned from a larger dataset. This global attention allows the model to withstand the similarities between samples of different cooking objects, while the employment of transfer learning helps to overcome the lack of inductive bias by utilizing pretrained weights. To improve recognition accuracy, several augmentation techniques have been employed as well. Evaluation of our proposed framework on the `Cooking State Recognition Challenge Dataset' has achieved an accuracy of 94.3%, which significantly outperforms the state-of-the-art.
△ Less
Submitted 24 December, 2022; v1 submitted 16 December, 2022;
originally announced December 2022.
-
On the number of useful objects in P systems with active membranes
Authors:
Zsolt Gazdag,
Károly Hajagos,
Szabolcs Iván
Abstract:
In this paper we investigate the number of objects actually used in the terminating computations of a certain variant of polarizationless P systems with active membranes. The P systems we consider here have no in-communication rules and have no different rules triggered by the same object to manipulate the same membrane. We show that if we consider such a P system $Π$ and its terminating computati…
▽ More
In this paper we investigate the number of objects actually used in the terminating computations of a certain variant of polarizationless P systems with active membranes. The P systems we consider here have no in-communication rules and have no different rules triggered by the same object to manipulate the same membrane. We show that if we consider such a P system $Π$ and its terminating computation $\cal C$, then we can compute the result of $\cal C$ by setting a polynomial upper bound on the content of each region in $\cal C$.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Scattered one-counter languges have rank less than $ω^2$
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that scattered context-free (regular, resp.) orderings have rank less than $ω^ω$ ($ω$, resp).
In this paper we confirm the conjecture that one-counter lang…
▽ More
A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that scattered context-free (regular, resp.) orderings have rank less than $ω^ω$ ($ω$, resp).
In this paper we confirm the conjecture that one-counter languages have rank less than $ω^2$.
△ Less
Submitted 30 June, 2020;
originally announced July 2020.
-
On the Order Type of Scattered Context-Free Orderings
Authors:
Kitti Gelle,
Szabolcs Iván
Abstract:
We show that if a context-free grammar generates a language whose lexicographic ordering is well-ordered of type less than $ω^2$, then its order type is effectively computable.
We show that if a context-free grammar generates a language whose lexicographic ordering is well-ordered of type less than $ω^2$, then its order type is effectively computable.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
The order type of scattered context-free orderings of rank one is computable
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that the isomorphism problem of scattered context-free orderings is undecidable, if one of them has a rank at least two. In this paper we show that it is dec…
▽ More
A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that the isomorphism problem of scattered context-free orderings is undecidable, if one of them has a rank at least two. In this paper we show that it is decidable whether a context-free ordering has rank at most one, and if so, its order type is effectively computable.
△ Less
Submitted 26 July, 2019;
originally announced July 2019.
-
The ordinal generated by an ordinal grammar is computable
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
A prefix grammar is a context-free grammar whose nonterminals generate prefix-free languages. A prefix grammar $G$ is an ordinal grammar if the language $L(G)$ is well-ordered with respect to the lexicographic ordering. It is known that from a finite system of parametric fixed point equations one can construct an ordinal grammar $G$ such that the lexicographic order of $G$ is isomorphic with the l…
▽ More
A prefix grammar is a context-free grammar whose nonterminals generate prefix-free languages. A prefix grammar $G$ is an ordinal grammar if the language $L(G)$ is well-ordered with respect to the lexicographic ordering. It is known that from a finite system of parametric fixed point equations one can construct an ordinal grammar $G$ such that the lexicographic order of $G$ is isomorphic with the least solution of the system, if this solution is well-ordered. In this paper we show that given an ordinal grammar, one can compute (the Cantor normal form of) the order type of the lexicographic order of its language, yielding that least solutions of fixed point equation systems defining algebraic ordinals are effectively computable (and thus, their isomorphism problem is also decidable).
△ Less
Submitted 24 April, 2019; v1 submitted 8 November, 2018;
originally announced November 2018.
-
Maintaning maximal matching with lookahead
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
In this paper we study the problem of fully dynamic maximal matching with lookahead. In a fully dynamic $n$-vertex graph setting, we have to handle updates (insertions and removals of edges), and answer queries regarding the current graph, preferably with a better time bound than that when running the trivial deterministic algorithm with worst-case time of $O(m)$ (where $m$ is the all-time maximum…
▽ More
In this paper we study the problem of fully dynamic maximal matching with lookahead. In a fully dynamic $n$-vertex graph setting, we have to handle updates (insertions and removals of edges), and answer queries regarding the current graph, preferably with a better time bound than that when running the trivial deterministic algorithm with worst-case time of $O(m)$ (where $m$ is the all-time maximum number of the edges) and recompute the matching from scratch each time a query arrives. We show that a maximal matching can be maintained in an (undirected) general graph with a deterministic amortized update cost of $O(\log m)$, provided that a lookahead of length $m$ is available, i.e. we can ``take a peek'' at the next $m$ update operations in advance.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Reversible Languages Having Finitely Many Reduced Automata
Authors:
Kitti Gelle,
Szabolcs Iván
Abstract:
Reversible forms of computations are often interesting from an energy efficiency point of view. When the computation device in question is an automaton, it is known that the minimal reversible automaton recognizing a given language is not necessarily unique, moreover, there are languages having arbitrarily large reversible recognizers possessing no nontrivial reversible congruence. However, the ex…
▽ More
Reversible forms of computations are often interesting from an energy efficiency point of view. When the computation device in question is an automaton, it is known that the minimal reversible automaton recognizing a given language is not necessarily unique, moreover, there are languages having arbitrarily large reversible recognizers possessing no nontrivial reversible congruence. However, the exact characterization of this class of languages was open. In this paper we give a forbidden pattern capturing the reversible regular languages having only finitely many reduced reversible automata, allowing an efficient (NL) decision procedure.
△ Less
Submitted 21 August, 2017; v1 submitted 30 May, 2017;
originally announced May 2017.
-
Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
Disjoint-Set forests, consisting of Union-Find trees, are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a characterization exists for Union trees which are constructed without using path compression) for the case assuming union-by-rank strategy for merging. In this…
▽ More
Disjoint-Set forests, consisting of Union-Find trees, are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a characterization exists for Union trees which are constructed without using path compression) for the case assuming union-by-rank strategy for merging. In this paper we provide such a characterization by means of a simple push operation and show that the decision problem whether a given tree (along with the rank info of its nodes) is a Union-Find tree is NP-complete, complementing our earlier similar result for the union-by-size strategy.
△ Less
Submitted 24 April, 2017;
originally announced April 2017.
-
Recognizing Union-Find trees is NP-complete
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
Disjoint-Set forests, consisting of Union-Find trees are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a characterization exists for Union trees which are constructed without using path compression). In this paper we provide such a characterization and show that th…
▽ More
Disjoint-Set forests, consisting of Union-Find trees are data structures having a widespread practical application due to their efficiency. Despite them being well-known, no exact structural characterization of these trees is known (such a characterization exists for Union trees which are constructed without using path compression). In this paper we provide such a characterization and show that the decision problem whether a given tree is a Union-Find tree is $\NP$-complete.
△ Less
Submitted 5 January, 2017; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Fractional coverings, greedy coverings, and rectifier networks
Authors:
Dmitry Chistikov,
Szabolcs Iván,
Anna Lubiw,
Jeffrey Shallit
Abstract:
A rectifier network is a directed acyclic graph with distinguished sources and sinks; it is said to compute a Boolean matrix $M$ that has a $1$ in the entry $(i,j)$ iff there is a path from the $j$th source to the $i$th sink. The smallest number of edges in a rectifier network computing $M$ is a classic complexity measure on matrices, which has been studied for more than half a century.
We explo…
▽ More
A rectifier network is a directed acyclic graph with distinguished sources and sinks; it is said to compute a Boolean matrix $M$ that has a $1$ in the entry $(i,j)$ iff there is a path from the $j$th source to the $i$th sink. The smallest number of edges in a rectifier network computing $M$ is a classic complexity measure on matrices, which has been studied for more than half a century.
We explore two well-known techniques that have hitherto found little to no applications in this theory. Both of them build on a basic fact that depth-$2$ rectifier networks are essentially weighted coverings of Boolean matrices with rectangles. We obtain new results by using fractional and greedy coverings (defined in the standard way).
First, we show that all fractional coverings of the so-called full triangular matrix have cost at least $n\log n$. This provides (a fortiori) a new proof of the tight lower bound on its depth-$2$ complexity (the exact value has been known since 1965, but previous proofs are based on different arguments). Second, we show that the greedy heuristic is instrumental in tightening the upper bound on the depth-$2$ complexity of the Kneser-Sierpiński (disjointness) matrix. The previous upper bound is $O(n^{1.28})$, and we improve it to $O(n^{1.17})$, while the best known lower bound is $Ω(n^{1.16})$. Third, using fractional coverings, we obtain a form of direct product theorem that gives a lower bound on unbounded-depth complexity of Kronecker (tensor) products of matrices. In this case, the greedy heuristic shows (by an argument due to Lovász) that our result is only a logarithmic factor away from the "full" direct product theorem. Our second and third results constitute progress on open problem 7.3 and resolve, up to a logarithmic factor, open problem 7.5 from a recent book by Jukna and Sergeev (in Foundations and Trends in Theoretical Computer Science (2013)).
△ Less
Submitted 18 May, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Algebraic Characterization of Forest Logics
Authors:
Kitti Gelle,
Szabolcs Ivan
Abstract:
In this paper we define future-time branching temporal logics evaluated over forests, that is, ordered tuples of ordered, but unranked, finite trees. We associate a rich class FL[$\mathcal{L}$] of temporal logics to each set L of (regular) modalities. Then, we define an algebraic product operation which we call the Moore product, which operates on forest automata, algebraic devices recognizing for…
▽ More
In this paper we define future-time branching temporal logics evaluated over forests, that is, ordered tuples of ordered, but unranked, finite trees. We associate a rich class FL[$\mathcal{L}$] of temporal logics to each set L of (regular) modalities. Then, we define an algebraic product operation which we call the Moore product, which operates on forest automata, algebraic devices recognizing forest languages. We show a lattice isomorphism between the pseudovarieties of finite forest automata, closed under the Moore product, and the classes of languages of the form FL[$\mathcal{L}$]. We demonstrate the usefulness of the algebraic approach by showing the decidability of the membership problem of a specific pseudovariety of finite forest automata, implying the decidability of the definability problem of the FL[EF] fragment of the logic CTL. Then, using the same approach, we also formulate a conjecture regarding a decidable characterization of the FL[AF] fragment which has currently an unknown decidability status (also in the setting of ranked trees).
△ Less
Submitted 15 February, 2017; v1 submitted 11 June, 2015;
originally announced June 2015.
-
Biclique coverings, rectifier networks and the cost of $\varepsilon$-removal
Authors:
Szabolcs Iván,
Ádám Dániel Lelkes,
Judit Nagy-György,
Balázs Szörényi,
György Turán
Abstract:
We relate two complexity notions of bipartite graphs: the minimal weight biclique covering number $\mathrm{Cov}(G)$ and the minimal rectifier network size $\mathrm{Rect}(G)$ of a bipartite graph $G$. We show that there exist graphs with $\mathrm{Cov}(G)\geq \mathrm{Rect}(G)^{3/2-ε}$. As a corollary, we establish that there exist nondeterministic finite automata (NFAs) with $\varepsilon$-transition…
▽ More
We relate two complexity notions of bipartite graphs: the minimal weight biclique covering number $\mathrm{Cov}(G)$ and the minimal rectifier network size $\mathrm{Rect}(G)$ of a bipartite graph $G$. We show that there exist graphs with $\mathrm{Cov}(G)\geq \mathrm{Rect}(G)^{3/2-ε}$. As a corollary, we establish that there exist nondeterministic finite automata (NFAs) with $\varepsilon$-transitions, having $n$ transitions total such that the smallest equivalent $\varepsilon$-free NFA has $Ω(n^{3/2-ε})$ transitions. We also formulate a version of previous bounds for the weighted set cover problem and discuss its connections to giving upper bounds for the possible blow-up.
△ Less
Submitted 30 May, 2014;
originally announced June 2014.
-
On state complexity of unions of binary factor-free languages
Authors:
Szabolcs Ivan
Abstract:
It has been conjectured in 2011 by Brzozowski et al. that if $K$ and $L$ are factor-free regular languages over a binary alphabet having state complexity $m$ and $n$, resp, then the state complexity of $K\cup L$ is at most $mn-(m+n)+3-\min\{m,n\}$.
We disprove this conjecture by giving a lower bound of $mn-(m+n)-2-\lfloor\frac{\min\{m,n\}-2}{2}\rfloor$, which exceeds the conjectured bound whenev…
▽ More
It has been conjectured in 2011 by Brzozowski et al. that if $K$ and $L$ are factor-free regular languages over a binary alphabet having state complexity $m$ and $n$, resp, then the state complexity of $K\cup L$ is at most $mn-(m+n)+3-\min\{m,n\}$.
We disprove this conjecture by giving a lower bound of $mn-(m+n)-2-\lfloor\frac{\min\{m,n\}-2}{2}\rfloor$, which exceeds the conjectured bound whenever $\min\{m,n\}\geq 10$.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
-
Complexity of Atoms, Combinatorially
Authors:
Szabolcs Ivan
Abstract:
Atoms of a (regular) language $L$ were introduced by Brzozowski and Tamm in 2011 as intersections of complemented and uncomplemented quotients of $L$. They derived tight upper bounds on the complexity of atoms in 2013. In 2014, Brzozowski and Davies characterized the regular languages meeting these bounds. To achieve these results, they used the so-called "atomaton" of a language, introduced by Br…
▽ More
Atoms of a (regular) language $L$ were introduced by Brzozowski and Tamm in 2011 as intersections of complemented and uncomplemented quotients of $L$. They derived tight upper bounds on the complexity of atoms in 2013. In 2014, Brzozowski and Davies characterized the regular languages meeting these bounds. To achieve these results, they used the so-called "atomaton" of a language, introduced by Brzozowski and Tamm in 2011. In this note we give an alternative proof of their characterization, via a purely combinatorial approach.
△ Less
Submitted 2 June, 2015; v1 submitted 26 April, 2014;
originally announced April 2014.
-
Synchronizing weighted automata
Authors:
Szabolcs Iván
Abstract:
We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring K=(K,+,*,0,1). (or equivalently, to finite sets of matrices in K^nxn.) Let us call a matrix A location-synchronizing if there exists a column in A consisting of nonzero entries such that all the other columns of A are filled by zeros. If additionally all the entries of this designat…
▽ More
We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring K=(K,+,*,0,1). (or equivalently, to finite sets of matrices in K^nxn.) Let us call a matrix A location-synchronizing if there exists a column in A consisting of nonzero entries such that all the other columns of A are filled by zeros. If additionally all the entries of this designated column are the same, we call A synchronizing. Note that these notions coincide for stochastic matrices and also in the Boolean semiring. A set M of matrices in K^nxn is called (location-)synchronizing if M generates a matrix subsemigroup containing a (location-)synchronizing matrix. The K-(location-)synchronizability problem is the following: given a finite set M of nxn matrices with entries in K, is it (location-)synchronizing?
Both problems are PSPACE-hard for any nontrivial semiring. We give sufficient conditions for the semiring K when the problems are PSPACE-complete and show several undecidability results as well, e.g. synchronizability is undecidable if 1 has infinite order in (K,+,0) or when the free semigroup on two generators can be embedded into (K,*,1).
△ Less
Submitted 21 May, 2014; v1 submitted 23 March, 2014;
originally announced March 2014.
-
On nonpermutational transformation semigroups with an application to syntactic complexity
Authors:
Szabolcs Ivan,
Judit Nagy-Gyorgy
Abstract:
We give an upper bound of $n((n-1)!-(n-3)!)$ for the possible largest size of a subsemigroup of the full transformational semigroup over $n$ elements consisting only of nonpermutational transformations. As an application we gain the same upper bound for the syntactic complexity of (generalized) definite languages as well.
We give an upper bound of $n((n-1)!-(n-3)!)$ for the possible largest size of a subsemigroup of the full transformational semigroup over $n$ elements consisting only of nonpermutational transformations. As an application we gain the same upper bound for the syntactic complexity of (generalized) definite languages as well.
△ Less
Submitted 28 February, 2014;
originally announced February 2014.
-
Operational characterization of scattered MCFLs -- Technical Report
Authors:
Zoltan Esik,
Szabolcs Ivan
Abstract:
We give a Kleene-type operational characterization of Muller context-free languages (MCFLs) of well-ordered and scattered words.
We give a Kleene-type operational characterization of Muller context-free languages (MCFLs) of well-ordered and scattered words.
△ Less
Submitted 23 April, 2013;
originally announced April 2013.
-
On the structure and syntactic complexity of generalized definite languages
Authors:
Szabolcs Ivan,
Judit Nagy-Gyorgy
Abstract:
We give a forbidden pattern characterization for the class of generalized definite languages, show that the corresponding problem is NL-complete and can be solved in quadratic time. We also show that their syntactic complexity coincides with that of the definite languages and give an upper bound of n! for this measure.
We give a forbidden pattern characterization for the class of generalized definite languages, show that the corresponding problem is NL-complete and can be solved in quadratic time. We also show that their syntactic complexity coincides with that of the definite languages and give an upper bound of n! for this measure.
△ Less
Submitted 21 April, 2013;
originally announced April 2013.
-
Context-free ordinals
Authors:
Zoltan Esik,
Szabolcs Ivan
Abstract:
We consider context-free languages equipped with the lexicographic ordering. We show that when the lexicographic ordering of a context-free language is scattered, then its Hausdorff rank is less than $ω^ω$. As a corollary of this result we obtain that an ordinal is the order type of a well-ordered context-free language iff it is less than $ω^{ω^ω}$.
We consider context-free languages equipped with the lexicographic ordering. We show that when the lexicographic ordering of a context-free language is scattered, then its Hausdorff rank is less than $ω^ω$. As a corollary of this result we obtain that an ordinal is the order type of a well-ordered context-free language iff it is less than $ω^{ω^ω}$.
△ Less
Submitted 28 March, 2011;
originally announced March 2011.
