תבנית:תורת החישוביות/כריעות שפות