Stabler - Lx 185/209 2003 merge, in MG, 169 Merlo, Paola, 166 MG, minimalist grammar, 166, 167 mgu (most general unifier), 13 Michaelis, Jens, 53, 166 Miller, George A., 125, 142, 146, 155 minimality, 221 Mithun, Marianne, 246 modal verbs, 198 model, in logic, 3 modifier, as adjunct, 54 M<strong>of</strong>fat, A., 123 m<strong>on</strong>oid, 14 M<strong>on</strong>tague, Richard, 3, 231 Moortgat,Michael,3,25 Morawietz, Frank, 53, 166, 186 more, unix functi<strong>on</strong>, 117 morpheme, 243 move, in MG, 169 move-α, 63 mutual informati<strong>on</strong>, 156 Mönnich, Uwe, 166 Mönnich,Uwe,53 n-gram models, 133, 142 n-th order Markov chains, 134 nats, 152 Naur, Peter, 4 Nijholt, Ant<strong>on</strong>, 3, 102 Nozohoor-Farshi, Rahman, 98 Obenauer, Hans-Georg, 221 occurs check, 20 octave, calculati<strong>on</strong> s<strong>of</strong>tware, 135 oracle for CFL recogniti<strong>on</strong>, 88 packed forest representati<strong>on</strong>s, 110, 184 Papoulis, Athanasios, 134 parent, relati<strong>on</strong> in a tree, 50 Parker, D. Stott, 135 Parkes, C.H., 228 parser, 3 Partee, Barbara, 116, 234 paste, unix functi<strong>on</strong>, 120 Paters<strong>on</strong>,MichaelS.,158 Patil, Ramesh, 95 PCFG, probabilisitic c<strong>on</strong>text free grammar, 158 Peano, Guiseppe, 12 Pearl, Judea, 132 Penn Treebank, 106, 115 Pereira, Fernando C.N., 3, 90, 91, 99, 102 Perline, Richard, 125 Pesetsky, David, 190, 221 Peters, Stanley, 57 pied piping, 224 283 Pollard, Carl, 13, 61, 101, 166 Pollard, Shann<strong>on</strong>, 239 Pollock, Jean-Yves, 40 prefix, 243 prefix property, 112 pretty printing, trees, 47 Prince, Alan, 251 Pritchett, Bradley L., 98 probability measure, 131 probability space, 131 prolog, 3 proper probability measure, 161 provability, 26 Pullum, Ge<strong>of</strong>frey K., 50 pure Markov source, 142 Putnam, Hilary, 13, 116, 234 Quine, W.V.O., 17, 26, 234 Rabin, M.O., 17 random variable, 133 Rathinavelu, C., 141 Ratnaparkhi, Adwait, 164 Rayner, Keith, 98 recognizer, 3 recognizer, glc top-down, 43 reduplicati<strong>on</strong>, 23, 56, 181, 249 reflecti<strong>on</strong> principles, 26 Reichenbach, Hans, 234 resource logic, 3, 25 Richards, Whitman, 132 Riezler, Stephan, 165 Riggle, Jas<strong>on</strong>, 2 right linear grammar, 30 Ristad, Eric, 141, 158, 249 Rizzi, Luigi, 221 Robins<strong>on</strong>, J.A., 13, 14 Rogers, James, 17, 53, 73, 166 Romani, 222 Roorda, Dirk, 25 Rosch, Eleanor, 238 Ross, John R., 221 Saah, K<strong>of</strong>i K., 222 Sacks-Davis, R., 123 Sag, Ivan A., 13, 61, 101 Salt<strong>on</strong>, G., 123 Samuelss<strong>on</strong>, Krister, 123 Satta, Giorgio, 103, 165, 251 Savitch, Walter J., 53, 95 Sayood, Khalid, 157 Schabes, Yves, 3, 90, 91, 99, 102 Schacter, Paul, 190 Schützenberger, M.P., 142 search space, size, 44
Stabler - Lx 185/209 2003 Seki, Hiroyuki, 166 selector features, in MG, 168 semantic atom, 243 sequence, notati<strong>on</strong>, 4 Sethi, Ravi, 101 Shann<strong>on</strong>’s theorem, 158 Shann<strong>on</strong>, Claude E., 142, 146, 152, 158 Shazeer, Noam, 239 Shibatani, Masayoshi, 246 Shieber, Stuart M., 3, 13, 57, 90, 91, 99, 102 shortest move c<strong>on</strong>diti<strong>on</strong>, SMC, 169, 221 Sikkel, Klaas, 3, 101, 102 sister, relati<strong>on</strong> in a tree, 50 slash dependencies, 182 SMC, shortest move c<strong>on</strong>diti<strong>on</strong>, 169, 221 Smith, Edward E., 238 Smolensky, Paul, 251 Smullyan, Raym<strong>on</strong>d, 232 sort, unix functi<strong>on</strong>, 118 soundness, in recogniti<strong>on</strong>, 44 specificity, 236 specifier, in MG structures, 169 Spencer, Andrew, 246 Sportiche, Dominique, 40, 50, 71, 169, 190 SRCG, simple range c<strong>on</strong>catenati<strong>on</strong> grammar, 166 Stabler, Edward P., 61, 62, 68, 99 stack, 4, 30 stack, notati<strong>on</strong>, 4 Steedman, Mark, 98, 99, 232 Steinby, M., 53 Stickel, Mark E., 239 stochastic variable, 133 Stolcke, Andreas, 165 Stowell, Tim, 54, 63, 236 string edits, 158 string generating hyperedge replacement grammar, 166 structure preserving, movement, 66 substititi<strong>on</strong>, <strong>of</strong> subtrees in movement, 66 substituti<strong>on</strong>, <strong>of</strong> terms for variables, 13 suffix, 243 surprisal, 153, 154 Swahili, relative clauses, 192 Swiss German, 53 syllogism, 234 syntactic atom, 243 Szabolcsi, Anna, 169, 236 Szymanski, Thomas G., 98 tabular recogniti<strong>on</strong> methods, 102 TAG, tree adjoining grammar, 166 Tarski, Alfred, 233 Taylor, Paul, 25 Teahan, W.J., 125 Tesar, Bruce, 251 Thomas, Robert G., 141 284 time-invariant stochastic variable, 133 tokens, vs. occurrences and types, 119 Tomita, Masaru, 110 top-down CFL recogniti<strong>on</strong>, see also LL, 27 tr, unix functi<strong>on</strong>, 117 trace erasure, 68 tree adjoining grammar, TAG, 166 tree grammar, 51 trees, collecti<strong>on</strong> from chart, 109 Tukey, J.W., 152 Ullman, Jeffrey D., 98, 101, 102, 114 unificati<strong>on</strong> grammars, 40, 41 unificati<strong>on</strong>, <strong>of</strong> terms <strong>of</strong> first order logic, 13 Uniformity <strong>of</strong> Theta Assignment Hypothesis, UTAH, 241 uniq, unix functi<strong>on</strong>, 119 unique decodability, 157 Valiant, Leslie, 103 Valois, Daniel, 190 van de Koot, Johannes, 98 van Loan, Charles F., 134 Vazirani, Umesh V., 251 Vergnaud, Jean-Roger, 190 Vijay-Shanker, K., 166, 180, 182 Vitanyi, Paul, 249, 251 Viterbi’s algorithm, 145, 160 Viterbi, Andrew J., 145 vocabulary size and growth in a corpus, 122 Walker, E.C.T., 228 Wartena, Christian, 251 wc, unix functi<strong>on</strong>, 118 Weaver, Warren, 155 Weinberg, Amy S., 98, 166 Weinmeister, Karl, 239 Weir, Carl, 165 Weir, David, 166, 180, 182 Wilkins<strong>on</strong>, R., 123 Williams, Edwin, 231, 243 Williams, John H., 98 Wittgenstein, Ludwig, 228 X-bar theory, 63, 167 Yang, Charles, 166 Yianilos, Peter N., 158, 249 yield, tree-string relati<strong>on</strong>, 51 Younger, D.H., 102 Zaenen, Annie, 57 Zipf’s law, 123 Zipf, George K., 120, 123 Zobel, J., 123
- Page 1 and 2:
Notes on computati
- Page 3 and 4:
Stabler - Lx 185/209 2003 Linguisti
- Page 5 and 6:
Stabler - Lx 185/209 2003 1 Setting
- Page 7 and 8:
Stabler - Lx 185/209 2003 1.2 Propo
- Page 9 and 10:
Stabler - Lx 185/209 2003 (8) Pitfa
- Page 11 and 12:
Stabler - Lx 185/209 2003 In fact,
- Page 13 and 14:
Stabler - Lx 185/209 2003 10. Call
- Page 15 and 16:
Stabler - Lx 185/209 2003 compute s
- Page 17 and 18:
Stabler - Lx 185/209 2003 (11) Pred
- Page 19 and 20:
Stabler - Lx 185/209 2003 1.6 The l
- Page 21 and 22:
Stabler - Lx 185/209 2003 L0 and L1
- Page 23 and 24:
Stabler - Lx 185/209 2003 Exercises
- Page 25 and 26:
Stabler - Lx 185/209 2003 3 more ex
- Page 27 and 28:
Stabler - Lx 185/209 2003 2 Recogni
- Page 29 and 30:
Stabler - Lx 185/209 2003 (8) Then
- Page 31 and 32:
Stabler - Lx 185/209 2003 (13) The
- Page 33 and 34:
Stabler - Lx 185/209 2003 Exercises
- Page 35 and 36:
Stabler - Lx 185/209 2003 Problem (
- Page 37 and 38:
Stabler - Lx 185/209 2003 1 ?- [col
- Page 39 and 40:
Stabler - Lx 185/209 2003 lex(’th
- Page 41 and 42:
Stabler - Lx 185/209 2003 2 ?- ([
- Page 43 and 44:
Stabler - Lx 185/209 2003 (3) Dalry
- Page 45 and 46:
Stabler - Lx 185/209 2003 3.3 Recog
- Page 47 and 48:
Stabler - Lx 185/209 2003 (22) Supp
- Page 49 and 50:
Stabler - Lx 185/209 2003 (27) With
- Page 51 and 52:
Stabler - Lx 185/209 2003 (31) tcl/
- Page 53 and 54:
Stabler - Lx 185/209 2003 A c-comma
- Page 55 and 56:
Stabler - Lx 185/209 2003 (46) Does
- Page 57 and 58:
Stabler - Lx 185/209 2003 m. The id
- Page 59 and 60:
Stabler - Lx 185/209 2003 4 Brief d
- Page 61 and 62:
Stabler - Lx 185/209 2003 (50) Nem
- Page 63 and 64:
Stabler - Lx 185/209 2003 5 Trees,
- Page 65 and 66:
Stabler - Lx 185/209 2003 children(
- Page 67 and 68:
Stabler - Lx 185/209 2003 5.3 Movem
- Page 69 and 70:
Stabler - Lx 185/209 2003 a. d e c
- Page 71 and 72:
Stabler - Lx 185/209 2003 children(
- Page 73 and 74:
Stabler - Lx 185/209 2003 adjoin_no
- Page 75 and 76:
Stabler - Lx 185/209 2003 (37) With
- Page 77 and 78:
Stabler - Lx 185/209 2003 Mates’
- Page 79 and 80:
Stabler - Lx 185/209 2003 81. ((A
- Page 81 and 82:
Stabler - Lx 185/209 2003 6.2 LR pa
- Page 83 and 84:
Stabler - Lx 185/209 2003 6.3 LC pa
- Page 85 and 86:
Stabler - Lx 185/209 2003 (20) Like
- Page 87 and 88:
Stabler - Lx 185/209 2003 6.4 All t
- Page 89 and 90:
Stabler - Lx 185/209 2003 (26) GLC
- Page 91 and 92:
Stabler - Lx 185/209 2003 (33) GLC
- Page 93 and 94:
Stabler - Lx 185/209 2003 The secon
- Page 95 and 96:
Stabler - Lx 185/209 2003 6.5.2 Bot
- Page 97 and 98:
Stabler - Lx 185/209 2003 6.6 Asses
- Page 99 and 100:
Stabler - Lx 185/209 2003 (56) Stru
- Page 101 and 102:
Stabler - Lx 185/209 2003 6.6.4 A d
- Page 103 and 104:
Stabler - Lx 185/209 2003 1. Downlo
- Page 105 and 106:
Stabler - Lx 185/209 2003 It is ess
- Page 107 and 108:
Stabler - Lx 185/209 2003 inference
- Page 109 and 110:
Stabler - Lx 185/209 2003 1 (’SBA
- Page 111 and 112:
Stabler - Lx 185/209 2003 7.2 Tree
- Page 113 and 114:
Stabler - Lx 185/209 2003 (14) With
- Page 115 and 116:
Stabler - Lx 185/209 2003 /* earley
- Page 117 and 118:
Stabler - Lx 185/209 2003 8 Stochas
- Page 119 and 120:
Stabler - Lx 185/209 2003 8.1.1 Cor
- Page 121 and 122:
Stabler - Lx 185/209 2003 to punctu
- Page 123 and 124:
Stabler - Lx 185/209 2003 jane aust
- Page 125 and 126:
Stabler - Lx 185/209 2003 where usu
- Page 127 and 128:
Stabler - Lx 185/209 2003 0.1 0.09
- Page 129 and 130:
Stabler - Lx 185/209 2003 We get al
- Page 131 and 132:
Stabler - Lx 185/209 2003 Word leng
- Page 133 and 134:
Stabler - Lx 185/209 2003 8.1.4 Pro
- Page 135 and 136:
Stabler - Lx 185/209 2003 8.1.5 Ran
- Page 137 and 138:
Stabler - Lx 185/209 2003 Matrix ar
- Page 139 and 140:
Stabler - Lx 185/209 2003 (65) To a
- Page 141 and 142:
Stabler - Lx 185/209 2003 octave:18
- Page 143 and 144:
Stabler - Lx 185/209 2003 added pro
- Page 145 and 146:
Stabler - Lx 185/209 2003 P(q1 ...q
- Page 147 and 148:
Stabler - Lx 185/209 2003 c. Finall
- Page 149 and 150:
Stabler - Lx 185/209 2003 This is p
- Page 151 and 152:
Stabler - Lx 185/209 2003 (100) Abn
- Page 153 and 154:
Stabler - Lx 185/209 2003 3. If des
- Page 155 and 156:
Stabler - Lx 185/209 2003 It will b
- Page 157 and 158:
Stabler - Lx 185/209 2003 Entropy (
- Page 159 and 160:
Stabler - Lx 185/209 2003 One indir
- Page 161 and 162:
Stabler - Lx 185/209 2003 4. the fu
- Page 163 and 164:
Stabler - Lx 185/209 2003 8.2.3 Ass
- Page 165 and 166:
Stabler - Lx 185/209 2003 (142) We
- Page 167 and 168:
Stabler - Lx 185/209 2003 8.4 Next
- Page 169 and 170:
Stabler - Lx 185/209 2003 9.1 “Mi
- Page 171 and 172:
Stabler - Lx 185/209 2003 (4) More
- Page 173 and 174:
Stabler - Lx 185/209 2003 This is a
- Page 175 and 176:
Stabler - Lx 185/209 2003 (7) Let
- Page 177 and 178:
Stabler - Lx 185/209 2003 (9) Let
- Page 179 and 180:
Stabler - Lx 185/209 2003 dP3 maria
- Page 181 and 182:
Stabler - Lx 185/209 2003 The 4 Eng
- Page 183 and 184:
Stabler - Lx 185/209 2003 9.1.4 Fou
- Page 185 and 186:
Stabler - Lx 185/209 2003 (21) The
- Page 187 and 188:
Stabler - Lx 185/209 2003 :- [’pp
- Page 189 and 190:
Stabler - Lx 185/209 2003 9.2.2 Som
- Page 191 and 192:
Stabler - Lx 185/209 2003 who laugh
- Page 193 and 194:
Stabler - Lx 185/209 2003 Kayne ass
- Page 195 and 196:
Stabler - Lx 185/209 2003 (32) Vari
- Page 197 and 198:
Stabler - Lx 185/209 2003 dP t 3 v
- Page 199 and 200:
Stabler - Lx 185/209 2003 10 Toward
- Page 201 and 202:
Stabler - Lx 185/209 2003 We can en
- Page 203 and 204:
Stabler - Lx 185/209 2003 Head move
- Page 205 and 206:
Stabler - Lx 185/209 2003 D which w
- Page 207 and 208:
Stabler - Lx 185/209 2003 CP C’ C
- Page 209 and 210:
Stabler - Lx 185/209 2003 CP C’ C
- Page 211 and 212:
Stabler - Lx 185/209 2003 that::=T
- Page 213 and 214:
Stabler - Lx 185/209 2003 T t C C S
- Page 215 and 216:
Stabler - Lx 185/209 2003 10.3.4 AP
- Page 217 and 218:
Stabler - Lx 185/209 2003 T t C C C
- Page 219 and 220:
Stabler - Lx 185/209 2003 10.3.6 Co
- Page 221 and 222:
Stabler - Lx 185/209 2003 10.4 Modi
- Page 223 and 224:
Stabler - Lx 185/209 2003 10.5 Summ
- Page 225 and 226:
Stabler - Lx 185/209 2003 10.5.1 Re
- Page 227 and 228:
Stabler - Lx 185/209 2003 Exercises
- Page 229 and 230:
Stabler - Lx 185/209 2003 10.6.3 Mu
- Page 231 and 232:
Stabler - Lx 185/209 2003 10.6.5 Pi
- Page 233 and 234: Stabler - Lx 185/209 2003 CP C’ C
- Page 235 and 236: Stabler - Lx 185/209 2003 but also
- Page 237 and 238: Stabler - Lx 185/209 2003 And if yo
- Page 239 and 240: Stabler - Lx 185/209 2003 sentence:
- Page 241 and 242: Stabler - Lx 185/209 2003 Example:
- Page 243 and 244: Stabler - Lx 185/209 2003 15.1 Mono
- Page 245 and 246: Stabler - Lx 185/209 2003 Example:
- Page 247 and 248: Stabler - Lx 185/209 2003 16 Harder
- Page 249 and 250: Stabler - Lx 185/209 2003 A first,
- Page 251 and 252: Stabler - Lx 185/209 2003 non-demon
- Page 253 and 254: Stabler - Lx 185/209 2003 16.4 Scop
- Page 255 and 256: Stabler - Lx 185/209 2003 16.5 Infe
- Page 257 and 258: Stabler - Lx 185/209 2003 Extra cre
- Page 259 and 260: Stabler - Lx 185/209 2003 CP C’ C
- Page 261 and 262: Stabler - Lx 185/209 2003 (5) In su
- Page 263 and 264: Stabler - Lx 185/209 2003 (7) Anoth
- Page 265 and 266: Stabler - Lx 185/209 2003 17.2.1 A
- Page 267 and 268: Stabler - Lx 185/209 2003 Exercises
- Page 269 and 270: Stabler - Lx 185/209 2003 Reference
- Page 271 and 272: Stabler - Lx 185/209 2003 Cornell,
- Page 273 and 274: Stabler - Lx 185/209 2003 Hale, Joh
- Page 275 and 276: Stabler - Lx 185/209 2003 Kraft, L.
- Page 277 and 278: Stabler - Lx 185/209 2003 Pollock,
- Page 279 and 280: Stabler - Lx 185/209 2003 Stabler,
- Page 281 and 282: Index (x, y), openintervalfromx to
- Page 283: Stabler - Lx 185/209 2003 Herbrand,