TY - T1 - Applications of Diamonded Double Negation SN - / UR - http://hdl.handle.net/10138/17540 T3 - A1 - Yli-Jyrä, Anssi A2 - Hanneforth, Thomas; Würzner, Kay-Michael PB - Potsdam University Press, Y1 - 2008 LA - eng AB - Nested complementation plays an important role in expressing counter- i.e. star-free and first-order definable languages and their hierarchies. In addition, methods that compile phonological rules into finite-state networks use double-nested complementation or "double negation". This paper reviews how the double-nested complementation extends to a relatively new operation, generalized restriction (GR), coined by the author. ... The paper demonstrates that the GR operation has an interesting pote... VO - IS - SP - OP - KW - 612 Languages and Literature; kielitiede; kielitiede; kielitiede; 113 Computer and information sciences N1 - PP - ER -