Papperet ger ett exempel på ett träd språk G som erkänns av en entydig paritet automaton och är 1 1 -fullständig (analytisk-fullständig) som en uppsättning i Cantor utrymme. Detta visar redan att de entydiga språken är topologiskt mer komplexa än de deterministiska, som alla är i Π 1 1. Med Set G som byggsten konstruerar vi ett otvetydigt språk som är topologiskt svårare än någon räknande booleansk kombination av 1 1 och 1 1 set. I synnerhet språket är svårare än någon uppsättning i skillnaden hierarki av analytiska uppsättningar som beaktas av O. Finkel och P. Simonnet i samband med icke-deterministiska automata.
För det första visar ett resultat av Hummel REF att otvetydiga språk är topologiskt svårare än deterministiska, se figur 1.
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones
{'venue': 'EPTCS 96, 2012, pp. 247-260', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}