Irregular Behaviours of Probabilistic Automata
Nathanaël Fijalkow
, Michał Skrzypczak
RP'2015, Warsaw
$$\left\{ u \sharp v \mid bin(u) \cdot bin(v) > x\right\}$$
is NON-REGULAR