Updated frame automata with non-blocking front