Los lenguajes formales se pueden especificar de una amplia variedad de formas, como por ejemplo: