/*
 * Bug in current version of implementation
 * Date: 2016-01-02
 * Author: Matthias Heizmann
 */

print(buchiComplementFKV(nwa,"SCHEWE", 777));


NestedWordAutomaton nwa = (
	callAlphabet = { },
	internalAlphabet = {"a" "b" },
	returnAlphabet = { },
	states = {"s" "r" "f" "t" },
	initialStates = {"s" },
	finalStates = {"f" },
	callTransitions = {
	},
	internalTransitions = {
		("s" "a" "s")
		("s" "a" "r")
		("r" "a" "f")
		("t" "a" "t")
	},
	returnTransitions = {
	}
);