B\"uchi VASS recognise w-languages that are Sigma^1_1 - complete
Michał Skrzypczak
所有作者
Michał Skrzypczak
文献摘要
This short note exhibits an example of a Sigma^1_1-complete language that can
be recognised by a one blind counter B"uchi automaton (or equivalently a
B"uchi VASS with only one place).