<p>I'm not an expert in automata theory, this is a reference request.
As far as I have understood it is known in the automata comunity that register automata by Kaminski are closed by intersection with pushdown automata over infinite alphabet.
Unfortunately I'm not able to find any reference about this.</p>

<p>Thanks in advance!</p>

CC BY-SA 3.0
2012-04-11T00:04:51.050Z
you might start by citing kaminsky register automata....
vzn
CC BY-SA 3.0
2012-04-11T00:11:23.630Z
a reference I just found said register automata are "similar" to finite memory automata 1st studied by kaminsky [and francez] possibly in [this paper of the same name by kaminsky](http://www.sciencedirect.com/science/article/pii/0304397594902429) or nearby
vzn
CC BY-SA 4.0
2023-05-15T09:48:54.813Z
Maybe it is possible to do a product construction as in the case of intersecting DFA and PDA.
Arka
<reference-request><fl.formal-languages><automata-theory>
Intersection between register automata and pushdown automata over infinite alphabet
Gianluca Mezzetti
# Intersection between register automata and pushdown automata over infinite alphabet

(Asked by: username_0 on 2012-04-10)

I'm not an expert in automata theory, this is a reference request.
As far as I have understood it is known in the automata comunity that register automata by Kaminski are closed by intersection with pushdown automata over infinite alphabet.
Unfortunately I'm not able to find any reference about this.

Thanks in advance!

**Tags:** reference-request, fl.formal-languages, automata-theory
> **Comments:**
> **username_1**: you might start by citing kaminsky register automata....  
> **username_1**: a reference I just found said register automata are "similar" to finite memory automata 1st studied by kaminsky [and francez] possibly in [this paper of the same name by kaminsky](http://www.sciencedirect.com/science/article/pii/0304397594902429) or nearby  
> **username_2**: Maybe it is possible to do a product construction as in the case of intersecting DFA and PDA.  

---

## 0 answers

