{"id":1284,"date":"2022-04-30T23:33:16","date_gmt":"2022-04-30T23:33:16","guid":{"rendered":"http:\/\/www.wellformedness.com\/blog\/?p=1284"},"modified":"2022-05-02T16:10:48","modified_gmt":"2022-05-02T16:10:48","slug":"when-rule-directionality-does-and-does-not-matter","status":"publish","type":"post","link":"https:\/\/www.wellformedness.com\/blog\/when-rule-directionality-does-and-does-not-matter\/","title":{"rendered":"When rule directionality does and does not matter"},"content":{"rendered":"<p>At the <a href=\"https:\/\/www.gc.cuny.edu\/linguistics\">Graduate Center<\/a> we recently hosted an excellent lecture by <a href=\"https:\/\/chandlee.sites.haverford.edu\/\">Jane Chandlee<\/a> of Haverford College. Those familiar with her work may know that she&#8217;s been studying, for some time now, two classes of string-to-string functions called the\u00a0<em>input strictly local<\/em> (ISL) and\u00a0<em>output strictly local<\/em> (OSL) functions. These are generalizations of the familiar notion of the <em>strictly local<\/em> (SL) languages proposed by McNaughton and Papert (1971) many years ago. For definitions of ISL and OSL functions, see Chandlee et al. 2014 and Chandlee 2014. Chandlee and colleagues have been arguing, for some time now, that virtually all phonological processes are ISL, OSL, or both (note that their intersection is non-null).<\/p>\n<p>In her talk, Chandlee attempted to formalize the notions of <em>iterativity<\/em> and\u00a0<em>non-iterativity<\/em> in phonology with reference to ISL and OSL functions. One interesting side effect of this work is that one can, quite easily, determine what makes a phonological process direction-invariant or direction-specific. In <em>FSTP<\/em> (Gorman &amp; Sproat 2021:\u00a75.1.1) we describe three notions of rule directionality (ones which are quite a bit less general than Chandlee&#8217;s notions) from the literature, but conclude: &#8220;Note, however, that directionality of application has no discernable effect for perhaps the majority of rules, and can often be ignored.&#8221; (<em>op. cit<\/em>., 53) We didn&#8217;t bother to determine when this is the case, but Chandlee shows that the set of rules which are invariant to direction of application (in our sense) are exactly those which are ISL \u2229 OSL; that is, they describe processes which are both ISL and OSL, in the sense that they are string-to-string functions (or <em>maps<\/em>, to use her term)\u00a0which can be encoded either as ISL or OSL.<\/p>\n<p>As Richard Sproat (p.c.) points out to me, there are weaker notions of <em>direction-invariance <\/em>we may care about in the context of grammar engineering. For instance, it might be the case that some rule is, strictly speaking, direction-specific, but the language of input strings is not expected to contain any relevant examples. I suspect this is quite common also.<\/p>\n<h1>References<\/h1>\n<p>Chandlee, J. 2014. Strictly local phonological processes. Doctoral dissertation, University of Delaware.<br \/>\nChandlee, J., Eyraud, R., and Heinz, J. 2014. Learning strictly local subsequential functions. <em>Transactions of the Association for Computational Linguistics <\/em>2: 491-503.<br \/>\nGorman, K., and Sproat, R. 2021.\u00a0<em>Finite-State Text Processing.\u00a0<\/em>Morgan &amp; Claypool.<br \/>\nMcNaughton, R., and Papert, S. A. 1971. <em>Counter-Free Automata<\/em>. MIT Press.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>At the Graduate Center we recently hosted an excellent lecture by Jane Chandlee of Haverford College. Those familiar with her work may know that she&#8217;s been studying, for some time now, two classes of string-to-string functions called the\u00a0input strictly local (ISL) and\u00a0output strictly local (OSL) functions. These are generalizations of the familiar notion of the &hellip; <a href=\"https:\/\/www.wellformedness.com\/blog\/when-rule-directionality-does-and-does-not-matter\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;When rule directionality does and does not matter&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_crdt_document":"","footnotes":""},"categories":[4,6],"tags":[],"class_list":["post-1284","post","type-post","status-publish","format-standard","hentry","category-language","category-phonology"],"_links":{"self":[{"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/posts\/1284","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/comments?post=1284"}],"version-history":[{"count":2,"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/posts\/1284\/revisions"}],"predecessor-version":[{"id":1286,"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/posts\/1284\/revisions\/1286"}],"wp:attachment":[{"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/media?parent=1284"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/categories?post=1284"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wellformedness.com\/blog\/wp-json\/wp\/v2\/tags?post=1284"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}