Vergelijking van twee methoden om een verzameling grafen te definiëren: de grafen worden gegenereerd door een graafgrammatica, of ze worden bepaald door een eigenschap die definieerbaar is in de tweede orde predicatenlogica. Als eenvoudig geval moeten eerst bomen bekeken worden, waarbij boomautomaten gebruikt moeten worden als koppeling tussen deze twee methoden, Daarna moeten NCE graafgrammatica's bestudeerd worden, met name zgn. boundary NCE grammatica's, waarbij onderzocht moet worden of ook boomautomaten gebruikt kunnen worden. Eventueel kunnen de volgende onderwerpen ook nog aan bod komen: