形式化された有限列