Lingwistyka formalna i teoria automatów