検証

なぜ機械的検証が必要なのか

自然言語には「無効な文」という概念がない