Square Büchi. Is the following problem decidable? (Deadline is closed.)
• Input: a nondeterministic Büchi automaton over alphabet .
• Question: does the automaton accept the word which has on exactly those positions that are squares?
Deterministic Büchi. Is the following problem decidable? (Deadline is closed.)
• Input: a nondeterministic Büchi automaton.
• Question: is the recognised language definable by some deterministic Büchi automaton?
Boolean combinations of open languages. Is the following problem decidable? (Deadline is closed.)
• Input: a nondeterministic Büchi automaton.
• Question: is the recognised language a finite Boolean combination of open sets?
Games with partial information. Let be four alphabets, and let
be an -regular language. Consider the following game, which is played in rounds numbered as . In the -th round, player produces letters
and player responds with letters
There is, however a restriction on the information for player , namely that the letter can only depend on , while the letter can only depend on . Player has no such restriction, both and are allowed to depend on all of the information .
Is the following problem decidable?
• Input: alphabets and a Büchi automaton defining a subset .
• Question: does player have a winning strategy in the game described above?
Joker game. Solve this problem for Michał Skrzypczak. The problem is open.
Distance automata with more counters. Consider the following extension of a distance automaton. Instead of having a set of costly transitions, we have a set of counters , and each transition is labelled by an instruction from the following toolkit:
• do nothing;
• increment counter and simultaneously reset counters ;
• reset counters .
The value of a run is the biggest value attained by any counter. Prove that limitedness is decidable for these automata, using the limitedness game.
Separation. Prove that the following problem is undecidable:
• input: tree languages recognised by a deterministic bottom-up automaton;
• question: is there a deterministic tree-walking automaton that separates them, i.e. accepts all trees in and rejects all trees in .
As a hint, consider using:
• the trees with 0,1,2 ports in the proof that tree-walking automata do not determines
• undecidability of the problem: given two context-free languages, decide if there is a regular language which separates them.
Canonisation. (I don’t have a solution, so no guarantees that this can be done, and hence extra credit for a solution)
Find some total order on finite words (e.g. the lexicographic order), such that the following problem can be solved efficiently (e.g. linear or quadratic time in terms of ):
• input: a nondeterministic register transducer from words to words and a word
• output: the least output on , according to the chosen order.
Double points: do this for trees.
Two-way versus alternation for register automata. Find a language of data words that is:
• recognised by some deterministic two-way register automaton;
• not recognised by an any alternating one-way register automaton without guessing.
An alternating automaton without guessing is one where the transitions can only load the registers with data values that were previously in the registers, or which are in the input letter.
Two-way versus alternation for register automata. Show that deterministic two-way register automata are contained in alternating one-way register automata with guessing.
Leave a Reply