Нетривиальная задача на кочечные автоматы

[PreVory]

Построить класс языков $L_n$ такой что: существует не детерминированный конечный автомат, распознающий язык $L_n$, содержащий n состояний, и любой детерминированный конечный автомат, распознающий язык $L_n$, содержит не менее $c^n$ состояний (с-некоторая константа большая 1, которую мы сами должны выбрать).