Glavni članak za ovu kategoriju je Formalni jezik.