Práctica 3: Autómatas finitos -Continuación- (Teoría de Lenguajes)

Ejercicio 02

{ x en L | ult(x)=a y [ ( |x|<=6 y |x|a=4 ) o ( |x|>6 y |x|a-|x|b=2 ) ] }