Ograniczanie wyników
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  equivalence-preserving transformations
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Many Optimality-Theoretic tableaux contain exactly the same information, and equivalence-preserving operations on them have been an object of study for some two decades. This paper shows that several of the operations proposed in the earlier literature together are actually enough to express any possible equivalence-preserving transformation. Moreover, every equivalence class of comparative tableaux (equivalently, of sets of Elementary Ranking Conditions, or ERC sets) has a unique and computable normal form that can be derived using those elementary operations in polynomial time. Any equivalence-preserving operation on comparative tableaux (ERC sets) is thus computable, and normal form tableaux may therefore represent their equivalence classes without loss of generality. Optimality Theory (OT) is a grammatical formalism based on constraint competition, formulated by Prince and Smolensky (1993) (later published as Prince and Smolensky (2004)). OT is especially popular in phonology, and is used to some extent in other branches of linguistics. In OT, a set of competing output forms {Output1, Output2,…} is generated by machine Gen for the underlying form Input. Each pair N is then evaluated against a set of constraints Con. The grammar of a particular language is modeled as an ordering of the universal set of constraints Con which determines the winning input-output pair for each Input: an input-output pair α = N wins over another pair β = M when α incurs fewer violations than β in the most highly ranked constraint where α and β differ. The input-output pairs that do not lose to any other pair are declared grammatical. The OT formalism expresses two important intuitions regarding how languages might function. First, it easily captures conditions of the form “try A; if impossible, try B; if also impossible, resort to C”, which seem to frequently occur in natural language. Second, OT allows for elegant modeling of cross-linguistic variation and language change in terms of re-ranking of a universal set of constraints. The information that a given dataset contributes constrains the possible rankings of constraints. Such information may be represented in the form of a comparative tableau (Prince 2000) or the corresponding set of Elementary Ranking Conditions, or ERC set (Prince 2002). In this paper, I present an incremental step completing the development of a full theory of equivalence classes of comparative OT tableaux, or, equivalently, ERC sets. Earlier work, especially that of Hayes (1997), Prince (2000), Prince (2002), Brasoveanu and Prince (2011)1, and Prince (2006), has established a number of results concerning how one may transform the information in an OT tableau without loss. What has not yet been done in this line of research is to establish the limits of operations that preserve equivalence. For example, the following natural question has not been answered: given two arbitrary comparative tableaux or ERC sets, can we determine whether they contain identical information?2 The present paper fills this gap: I show that any (finite) comparative tableau may be (computably, and actually quite efficiently) transformed into a normal form, which is unique for the whole equivalence class. Moreover, this transformation is possible by applying a sequence of a set of five elementary operations and their inverses already introduced in the literature. Only two of those are non-trivial, so a very small and simple set turns out to be sufficient to capture all the diversity of possible equivalence-preserving operations on tableaux. Normalization gives us a handle on equivalence classes of tableaux/ERC sets, as we show that each equivalence class contains exactly one normal form tableau. The normal form may therefore serve as the class’s representative. A test for equivalence of arbitrary tableaux (computable for finite tableaux) involves normalizing the input tableaux and comparing the resulting normal form tableaux. The original tableaux are equivalent if and only if their normal forms are identical. Thanks to the normal form theorem proved in the present paper, the space of all possible equivalence-preserving operations may be enumerated, and the same is true of the members of which equivalence class.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.