Compact Representation of Ambiguities. Generating Sentences by Grammar Specialization. Compact Representation of Ambiguities
|
|
- Miles Gallagher
- 6 years ago
- Views:
Transcription
1 Compct Represettio of Ambiguities Geertig Seteces by Grmmr Speciliztio Jürge Wedekid Prsig Chrt: represets ltertive sytctic lyses pcked f-structures (cotexted costrit stisfctio, Mxwell & Kpl 91) Geertio Chrt-bsed pproches (Ky 96, Neum 98; bsed o Shieber 88) Chrcteriztio: 2 phses 1. phse: costructio of compct represettio of ltertive costituet structures/f-structures/strigs 2. phse: eumertio of prticulr lyses 1 2 Compct Represettio of Ambiguities Compct Represettio of Ambiguities Lg s forml chrcteriztio of the 2 phses (for cotext-free chrt prsig) 1. phse: grmmr speciliztio Give: CFG G & iput strig s Costruct: G s = chrt if s L(G) the L(G s ) = if s L(G) the L(G s ) = {s} d G s ssigs s the sme prse trees s G 2. phse: productio of prses by stdrd geertio lgorithm pplied to G s Our pproch to geertio (joit work with Ro Kpl) 1. phse: grmmr speciliztio Give: LFG G & cyclic f-structure f (iput) Costruct: G f (cotext-free) G f is speciliztio of the cotext-free bckboe of G G f derives ll strigs tht G reltes to f G f simultes ll derivtios of f i G 2. phse: productios of strigs by stdrd geertio lgorithm pplied to G f 3 4 LFG Represettios LFG Grmmr Setece, costituet structure d fuctiol structure Rules ( SUBJ)= S NP DET N studet c-structure VP V fell SUBJ studet NUM SG CASE NOM PAST fll<subj> f-structure NP DET N Cotext-free rules defie vlid c-structures ( )= studet Aottios re isttited t tree odes to give f(uctiol) descriptios = costrits o correspodig f-structure F-structure results from the miiml model of f-descriptio 6 1
2 NP S ( SUBJ)= ( )= studet NP S ( SUBJ)= ( )= studet DET N 6 studet 7 V DET N 6 studet 7 V 1. Well-formedess of costituet structure The whole structure is licesed by the rules 2. Isttitio of the metvribles 7 8 NP S ( SUBJ)= = ( )= studet NP S ( SUBJ)= = ( )= studet DET N 6 studet 7 V DET N 6 studet 7 V 2. Isttitio of metvribles by the licesed dughter 2. Isttitio of metvribles by the licesed dughter 9 10 NP S ( SUBJ)= = = = ( )= studet NP S ( SUBJ)= = = = = ( )= studet DET N 6 studet 7 V DET N 6 studet 7 V 2. Isttitio of metvribles by the licesed dughter 2. Isttitio of metvribles by the licesed dughter
3 NP S ( SUBJ)= = = = ( SPEC)=INDEF ( NUM)=SG = ( )= studet ( NUM)=SG ( SUBJ)= = = = ( SPEC)=INDEF ( NUM)=SG = ( )= studet ( NUM)=SG DET N 6 studet 7 V ( )= fll<subj> ( )=PAST V ( )= fll<subj> ( )=PAST 2. Isttitio of metvribles by the licesed dughter 3. Costructio of the f-descriptio = uio of the isttited descriptios of the licesig rules V {( SUBJ)=, = } { =, = } { = } ( SPEC)=INDEF, ( )= studet, { ( NUM)=SG { ( NUM)=SG ( )= fll<subj>, { ( } )=PAST } } S NP DET 6 N studet 7 V ( SUBJ)=, =, =, =, {( SUBJ)=, = } =, = ( 3 SPEC)=INDEF, ( NUM)=SG, ( )= studet, ( NUM)=SG, { =, = } { = } ( )= fll<subj>, ( )=PAST ( SPEC)=INDEF, ( )= studet, { ( NUM)=SG } { ( NUM)=SG } ( )= fll<subj>, { ( } )=PAST 3. Costructio of the f-descriptio = uio of the isttited descriptios of the licesig rules 3. Costructio of the f-descriptio = uio of the isttited descriptios of the licesig rules 1 16 ( SUBJ)=, =, =, =, ( SUBJ)=, = } =, S = ( DET N 3 SPEC)=INDEF, ( NUM)=SG, ( )= studet, ( NUM)=SG, { =, = } { = } ( )= fll<subj>, ( )=PAST NP T ( SPEC)=INDEF, ( )= studet, ( NUM)=SG } { ( NUM)=SG } DET N V ( )= fll<subj>, { ( } )=PAST 6 studet 7 ( SUBJ)=, =, =, =, {( SUBJ)=, = } =, = ( 3 SPEC)=INDEF, ( NUM)=SG, ( )= studet, ( NUM)=SG, { =, = } { = } ( )= fll<subj>, ( )=PAST ( SPEC)=INDEF, ( )= studet, { ( NUM)=SG } { ( NUM)=SG } ( )= fll<subj>, { ( } )=PAST SUBJ 3 4 b c d PAST fll<subj> SPEC NUM e f g studet INDEF SG miiml model M 4. Stisfibility test d costructio of the miiml model 4. Stisfibility test d costructio of the miiml model
4 The LFG Derivtio Reltio SUBJ 3 4 b c d PAST fll<subj> SPEC NUM e f g I. Abstrctio from the odes: M L AV studet INDEF SG II. Abstrctio from the uiverses: [M L AV ] Give rbitrry LFG grmmr G Δ G = { (s,f ) G ssigs to strig s the f-structure f } Prser: Pr G (s) = { f Δ G (s,f ) } 4. Stisfibility test d costructio of the miiml model Geertor: Ge G (f) = { s Δ G (s,f ) } Forml Properties Pr G (s) is fiite set, for every G d s. Proscriptio of obrchig domice chis i c- structure (off-lie prsbility) gurtees fiite umber of trees for ech strig, d ech tree supports fiite umber of f-structures Ge G (f) is ifiite, for some G d f. Loger d loger strigs with the sme f-structure: G: f: [X Y] S S A Ge G (f) = + S A A ( X)=Y S A S A S A Reductio of the f-descriptio Spce Give: -ry LFG rule r Ist(r,(t,t 1.. t )) Uio of the isttited ottios of r i.e. - ll occurreces of re substituted by t, - ll occurreces of i the ottio of the j-th dughter re substituted by t j r = ( SUBJ)= Ist(r,(, ( SUBJ) )) = {( SUBJ)=( SUBJ), =} Reductio of the f-descriptio Spce Reductio of the f-descriptio Spce Give: -ry LFG rule r j is m-defible i Ist(r,(t,.. )) iff Ist(r,(t,.. )) I _ j = (t σ) S ( SUBJ) NP 1 = ( SUBJ) = ( SUBJ)= ( SUBJ) = 2 joh V ADV ( SUBJ ( )= joh = 4 ( ( ADJ)=( ELE) = fell 6 quickly 7 ( ( )= fll<subj> ( ) = quickly ( ( )=PAST
5 Reductio of the f-descriptio Spce Reductio of the f-descriptio Spce Two descriptios D d D with miiml models M d M re equivlet iff M L AV M L AV Remiig odes: d ll dughters which re ot m- defible However: their deottio is biuique T j ( σ) ( j σ ) if j is ot m-defible the from the descriptio it cot follow: j = for Τ Suppose: j = the j = ( j σ ) d σ = 0 thus ( σ) = j 2 26 Reductio of the f-descriptio Spce Reductio of the f-descriptio Spce F c e g SUBJ ADJ b c d e fll<subj> PAST ELE C F Biuiquely reme ll dughters which re ot m-defible Reducig substitutio = compositio of the defiitios d the remig substitutio g f joh h quickly ( SUBJ) Itroduce coicl costts for ech elemet g tht is ot deoted by tomic feture vlue Nodes ot occurrig i the f-descriptio Reductio of the f-descriptio Spce Determitio of the f-descriptio Spce F c e g SUBJ ADJ b fll<subj> f c joh d PAST e g h ELE quickly C F ll terms which deote i the expsio (but do ot refer to the deottio of tomic feture vlue) C F d ( SUBJ) ( ADJ) ( g ELE) Appropritely isttited rules Give m-ry LFG rule r d terms t, t 1.. t m of T F (r, (t, t 1.. t m )) is ppropritely isttited iff (i) if t j = the j does ot occur i Ist(r,(t,.. m )) (ii) if j is m-defible i Ist(r,(t,.. m )) the Ist(r,(t,.. m )) I _ j = t j (iii) otherwise t j C F d t j = / t d t j = / t i for ll t i, i = / j plus ll terms tht re obtied from them by substitutig the ew costts by ( SUBJ) ( ADJ) ( ELE) plus T F 29 30
6 Determitio of the f-descriptio Spce Comptible isttitios IR F = set of ll ppropritely isttited rules fiite Two ppropritely isttited rules (r, (t, t 1.. t m )), (r, (t, t 1.. t l )) re comptible iff ll dughters which re ot m-defible re pir-wise distict isttited IRD F = set of ll subsets IR of IR F such tht (i) the isttited descriptios of the rules i IR together describe f fiite i.e. they hve miiml model M with M L AV f (ii) ll rules i IR re pir-wise comptible Give: LFG G = (N,T,S,R) d iput f-structure [F] Costruct: CFG grmmr G F = (N F,T F,S F,R F ) S F = ew strt symbol (ot i N T) N F = {S F } {A:t:IR A N, t T F, IR is subset of set i IRD F } R F strt rules for every IR i IRD F, R F cotis rule S F S::IR T F = {:t: T, t T F } R F The other rules ( SUBJ) For every LFG rule r = A X 1.. X m R F cotis rules of the form D 1 D m S: S ( SUBJ)= NP Joh NP:( SUBJ) NP VP: 2 (, ) ( SUBJ)= = 2 (, ) (, ) SUBJ PAST joh fll<subj> A:t:IR X 1 :t 1 :IR 1... X m :t m :IR m such tht Joh: V: V 3 ( )= joh = (, ) (i) IR = {(r,(t,t 1.. t m ))} IR 1.. IR m (ii) ech isttited rule occurrig i {(r,(t,t 1.. t m ))} IR i or IR i IR j ist selfcomptible fell: ( )= fll<subj> ( )=PAST
7 ( SUBJ) ( SUBJ) (, ( ) SUBJ) ) ( SUBJ)= S: NP Joh (((, SUBJ) 3 ), ) NP:( SUBJ) VP: 2 (,, ) 4 ) (, ( SUBJ) ) ( SUBJ)= IR 1 IR 2 S::IR NP Joh (( SUBJ), ) IR 3 NP:( SUBJ):IR 1 VP::IR (, ) IR 4 ( ( 4,, ) ) Joh: V: 4 fell: 1. Replce isttitig odes by the vlues of the reducig substitutio Joh::IR 3 V::IR (, ) 4 fell::ir IR S:: (, ( SUBJ) ) ( SUBJ)= NP Joh (( SUBJ), ) (, ) (, ) S:: (, ( SUBJ) ) ( SUBJ)= NP Joh (( SUBJ), ) (, ) (, ) NP Joh (( SUBJ), ) NP:( SUBJ): (, ) 1 VP:: (, ) Joh:: (, ) term compoet simultes reducig substitutio V:: ( SUBJ) fell:: NP:( SUBJ): NP Joh (( SUBJ), ) Joh:: rule compoet cotis ll rules licesig the subderivtio (with the licesed odes replced by (, ) VP:: (, ) (, ) V:: fell:: (, ( SUBJ) ) ( SUBJ)= NP Joh (( SUBJ), ) (, ( SUBJ) ) ( SUBJ)= NP Joh (( SUBJ), ) S:: (, ) (, ) S:: (, ) (, ) NP:( SUBJ): NP Joh (( SUBJ), ) Joh:: (, ) VP:: (, ) NP:( SUBJ): NP Joh (( SUBJ), ) Joh:: (, ) VP:: (, ) rule compoet cotis ll rules licesig the subderivtio (with the licesed odes replced by (, ) V:: fell:: rule compoet cotis ll rules licesig the subderivtio (with the licesed odes replced by (, ) V:: fell::
8 S:: (, ( SUBJ) ) ( SUBJ)= NP Joh (( SUBJ), ) (, ) (, ) S:: (, ( SUBJ) ) ( SUBJ)= NP Joh (( SUBJ), ) (, ) (, ) NP:( SUBJ): NP Joh (( SUBJ), ) Joh:: (, ) VP:: (, ) NP:( SUBJ): NP Joh (( SUBJ), ) Joh:: (, ) VP:: (, ) rule compoet cotis ll rules licesig the subderivtio (with the licesed odes replced by (, ) V:: fell:: rule compoet cotis ll rules licesig the subderivtio (with the licesed odes replced by (, ) V:: fell:: Observtios d Cosequeces Observtios d Cosequeces Two phses of LFG geertio Costructio of the CFG grmmr G F for [F] Well-uderstood, fiite represettio of (ifiitely) my strigs Apply CF geertio lgorithm to produce strigs Use pumpig lemm to select short strigs Use PCFG techology to select most probble strig Select by other heuristics Decidble properties of Ge G (f) It is decidble whether Ge G (f) is empty, fiite, or ifiite. Decidbility of geertio does ot deped o proscribig obrchig domice chis (off-lie prsbility), ulike prsig Observtios d Cosequeces Observtios d Cosequeces Exteds to other forml devices: sets, fuctiol ucertity, fuctiol precedece, etc. (but ot to the restrictio opertor) Applies to other cotext-free bsed uifictio formlisms: PATR, ALE, perhps some versios of HPSG
Review of CFGs and Parsing I Context-free Languages and Grammars. Winter 2014 Costas Busch - RPI 1
Review of CFGs d Prsig I Cotext-free Lguges d Grmmrs Witer 2014 Costs Busch - RPI 1 Cotext-Free Lguges { b : { ww } 0} R Regulr Lguges *b* ( b) * Witer 2014 Costs Busch - RPI 2 Cotext-Free Lguges Cotext-Free
More informationSection IV.6: The Master Method and Applications
Sectio IV.6: The Mster Method d Applictios Defiitio IV.6.1: A fuctio f is symptoticlly positive if d oly if there exists rel umer such tht f(x) > for ll x >. A cosequece of this defiitio is tht fuctio
More informationFOURIER SERIES PART I: DEFINITIONS AND EXAMPLES. To a 2π-periodic function f(x) we will associate a trigonometric series. a n cos(nx) + b n sin(nx),
FOURIER SERIES PART I: DEFINITIONS AND EXAMPLES To -periodic fuctio f() we will ssocite trigoometric series + cos() + b si(), or i terms of the epoetil e i, series of the form c e i. Z For most of the
More informationWe will begin by supplying the proof to (a).
(The solutios of problem re mostly from Jeffrey Mudrock s HWs) Problem 1. There re three sttemet from Exmple 5.4 i the textbook for which we will supply proofs. The sttemets re the followig: () The spce
More informationReview of the Riemann Integral
Chpter 1 Review of the Riem Itegrl This chpter provides quick review of the bsic properties of the Riem itegrl. 1.0 Itegrls d Riem Sums Defiitio 1.0.1. Let [, b] be fiite, closed itervl. A prtitio P of
More information,... are the terms of the sequence. If the domain consists of the first n positive integers only, the sequence is a finite sequence.
Chpter 9 & 0 FITZGERALD MAT 50/5 SECTION 9. Sequece Defiitio A ifiite sequece is fuctio whose domi is the set of positive itegers. The fuctio vlues,,, 4,...,,... re the terms of the sequece. If the domi
More informationError-free compression
Error-free compressio Useful i pplictio where o loss of iformtio is tolerble. This mybe due to ccurcy requiremets, legl requiremets, or less th perfect qulity of origil imge. Compressio c be chieved by
More information: : 8.2. Test About a Population Mean. STT 351 Hypotheses Testing Case I: A Normal Population with Known. - null hypothesis states 0
8.2. Test About Popultio Me. Cse I: A Norml Popultio with Kow. H - ull hypothesis sttes. X1, X 2,..., X - rdom smple of size from the orml popultio. The the smple me X N, / X X Whe H is true. X 8.2.1.
More informationINFINITE SERIES. ,... having infinite number of terms is called infinite sequence and its indicated sum, i.e., a 1
Appedix A.. Itroductio As discussed i the Chpter 9 o Sequeces d Series, sequece,,...,,... hvig ifiite umber of terms is clled ifiite sequece d its idicted sum, i.e., + + +... + +... is clled ifite series
More informationSOME IDENTITIES BETWEEN BASIC HYPERGEOMETRIC SERIES DERIVING FROM A NEW BAILEY-TYPE TRANSFORMATION
SOME IDENTITIES BETWEEN BASIC HYPERGEOMETRIC SERIES DERIVING FROM A NEW BAILEY-TYPE TRANSFORMATION JAMES MC LAUGHLIN AND PETER ZIMMER Abstrct We prove ew Biley-type trsformtio reltig WP- Biley pirs We
More informationContext-free grammars and. Basics of string generation methods
Cotext-free grammars ad laguages Basics of strig geeratio methods What s so great about regular expressios? A regular expressio is a strig represetatio of a regular laguage This allows the storig a whole
More informationRiemann Integration. Chapter 1
Mesure, Itegrtio & Rel Alysis. Prelimiry editio. 8 July 2018. 2018 Sheldo Axler 1 Chpter 1 Riem Itegrtio This chpter reviews Riem itegrtio. Riem itegrtio uses rectgles to pproximte res uder grphs. This
More informationMerge Sort. Outline and Reading. Divide-and-Conquer. Divide-and-conquer paradigm ( 4.1.1) Merge-sort ( 4.1.1)
Merge Sort 7 2 9 4 2 4 7 9 7 2 2 7 9 4 4 9 7 7 2 2 9 9 4 4 Merge Sort versio 1.3 1 Outlie d Redig Divide-d-coquer prdigm ( 4.1.1 Merge-sort ( 4.1.1 Algorithm Mergig two sorted sequeces Merge-sort tree
More informationContent: Essential Calculus, Early Transcendentals, James Stewart, 2007 Chapter 1: Functions and Limits., in a set B.
Review Sheet: Chpter Cotet: Essetil Clculus, Erly Trscedetls, Jmes Stewrt, 007 Chpter : Fuctios d Limits Cocepts, Defiitios, Lws, Theorems: A fuctio, f, is rule tht ssigs to ech elemet i set A ectly oe
More informationAdvanced Calculus Test File Spring Test 1
Advced Clculus Test File Sprig 009 Test Defiitios - Defie the followig terms.) Crtesi product of A d B.) The set, A, is coutble.) The set, A, is ucoutble 4.) The set, A, is ifiite 5.) The sets A d B re
More informationA GENERAL METHOD FOR SOLVING ORDINARY DIFFERENTIAL EQUATIONS: THE FROBENIUS (OR SERIES) METHOD
Diol Bgoo () A GENERAL METHOD FOR SOLVING ORDINARY DIFFERENTIAL EQUATIONS: THE FROBENIUS (OR SERIES) METHOD I. Itroductio The first seprtio of vribles (see pplictios to Newto s equtios) is ver useful method
More informationis infinite. The converse is proved similarly, and the last statement of the theorem is clear too.
12. No-stdrd lysis October 2, 2011 I this sectio we give brief itroductio to o-stdrd lysis. This is firly well-developed field of mthemtics bsed o model theory. It dels ot just with the rels, fuctios o
More informationStudents must always use correct mathematical notation, not calculator notation. the set of positive integers and zero, {0,1, 2, 3,...
Appedices Of the vrious ottios i use, the IB hs chose to dopt system of ottio bsed o the recommedtios of the Itertiol Orgiztio for Stdrdiztio (ISO). This ottio is used i the emitio ppers for this course
More informationFig. 1. I a. V ag I c. I n. V cg. Z n Z Y. I b. V bg
ymmetricl Compoets equece impedces Although the followig focuses o lods, the results pply eqully well to lies, or lies d lods. Red these otes together with sectios.6 d.9 of text. Cosider the -coected lced
More informationChapter 2 Infinite Series Page 1 of 9
Chpter Ifiite eries Pge of 9 Chpter : Ifiite eries ectio A Itroductio to Ifiite eries By the ed of this sectio you will be ble to uderstd wht is met by covergece d divergece of ifiite series recogise geometric
More informationSome Properties of Brzozowski Derivatives of Regular Expressions
Itertiol Jourl of Computer Treds d Techology (IJCTT) volume 13 umber 1 Jul 014 Some Properties of Brzozoski erivtives of Regulr Expressios NMuruges #1, OVShmug Sudrm * #1 Assistt Professor, ept of Mthemtics,
More informationContainment of Nested XML Queries
Cotimet of Nested XML Queries Xi Dog Alo Y. Hlevy Igor Ttriov {ludog,lo,igor}@cs.wshigto.edu Deprtmet of Computer Sciece & Egieerig Uiversity of Wshigto Settle, WA 98195 Abstrct We cosider the problem
More information( ) k ( ) 1 T n 1 x = xk. Geometric series obtained directly from the definition. = 1 1 x. See also Scalars 9.1 ADV-1: lim n.
Sclrs-9.0-ADV- Algebric Tricks d Where Tylor Polyomils Come From 207.04.07 A.docx Pge of Algebric tricks ivolvig x. You c use lgebric tricks to simplify workig with the Tylor polyomils of certi fuctios..
More informationFormal Languages Simplifications of CFGs
Forml Lnguges implifictions of CFGs ubstitution Rule Equivlent grmmr b bc ubstitute b bc bbc b 2 ubstitution Rule b bc bbc ubstitute b bc bbc bc Equivlent grmmr 3 In generl: xz y 1 ubstitute y 1 xz xy1z
More informationUncertainty Analysis for Uncorrelated Input Quantities and a Generalization
WHITE PAPER Ucertity Alysis for Ucorrelted Iput Qutities d Geerliztio Welch-Stterthwite Formul Abstrct The Guide to the Expressio of Ucertity i Mesuremet (GUM) hs bee widely dopted i the differet fields
More informationPRACTICE FINAL SOLUTIONS
CSE 303 PRACTICE FINAL SOLUTIONS FOR FINAL stud Practice Fial (mius PUMPING LEMMA ad Turig Machies) ad Problems from Q1 Q4, Practice Q1 Q4, ad Midterm ad Practice midterm. I will choose some of these problems
More information4.1 Bounded integral.
33 4. LEBESGUE INTEGRAL: BOUNDED CASE Hvig developed the cocept of the Lebesgue mesure, we will ow move to defiig the Lebesgue itegrl. It would be wste to restrict ttetio to itegrls with respect to the
More informationCrushed Notes on MATH132: Calculus
Mth 13, Fll 011 Siyg Yg s Outlie Crushed Notes o MATH13: Clculus The otes elow re crushed d my ot e ect This is oly my ow cocise overview of the clss mterils The otes I put elow should ot e used to justify
More informationLesson-2 PROGRESSIONS AND SERIES
Lesso- PROGRESSIONS AND SERIES Arithmetic Progressio: A sequece of terms is sid to be i rithmetic progressio (A.P) whe the differece betwee y term d its preceedig term is fixed costt. This costt is clled
More informationKing Fahd University of Petroleum & Minerals
Kig Fhd Uiversity of Petroleum & Mierls DEPARTMENT OF MATHEMATICAL CIENCE Techicl Report eries TR 434 April 04 A Direct Proof of the Joit Momet Geertig Fuctio of mple Me d Vrice Awr H. Jorder d A. Lrdji
More informationChapter Real Numbers
Chpter. - Rel Numbers Itegers: coutig umbers, zero, d the egtive of the coutig umbers. ex: {,-3, -, -,,,, 3, } Rtiol Numbers: quotiets of two itegers with ozero deomitor; termitig or repetig decimls. ex:
More informationDiscrete Mathematics I Tutorial 12
Discrete Mthemtics I Tutoril Refer to Chpter 4., 4., 4.4. For ech of these sequeces fid recurrece reltio stisfied by this sequece. (The swers re ot uique becuse there re ifiitely my differet recurrece
More informationMTH 146 Class 16 Notes
MTH 46 Clss 6 Notes 0.4- Cotiued Motivtio: We ow cosider the rc legth of polr curve. Suppose we wish to fid the legth of polr curve curve i terms of prmetric equtios s: r f where b. We c view the cos si
More informationApplications of Regular Closure
Applictios of Regulr Closure 1 The itersectio of cotext-free lguge d regulr lguge is cotext-free lguge L1 L2 cotext free regulr Regulr Closure L1 L 2 cotext-free 2 Liz 6 th, sectio 8.2, exple 8.7, pge
More informationPOWER SERIES R. E. SHOWALTER
POWER SERIES R. E. SHOWALTER. sequeces We deote by lim = tht the limit of the sequece { } is the umber. By this we me tht for y ε > 0 there is iteger N such tht < ε for ll itegers N. This mkes precise
More informationA GENERALIZATION OF GAUSS THEOREM ON QUADRATIC FORMS
A GENERALIZATION OF GAU THEOREM ON QUADRATIC FORM Nicole I Brtu d Adi N Cret Deprtmet of Mth - Criov Uiversity, Romi ABTRACT A origil result cocerig the extesio of Guss s theorem from the theory of biry
More informationUnit 1. Extending the Number System. 2 Jordan School District
Uit Etedig the Number System Jord School District Uit Cluster (N.RN. & N.RN.): Etedig Properties of Epoets Cluster : Etedig properties of epoets.. Defie rtiol epoets d eted the properties of iteger epoets
More information=> PARALLEL INTERCONNECTION. Basic Properties LTI Systems. The Commutative Property. Convolution. The Commutative Property. The Distributive Property
Lier Time-Ivrit Bsic Properties LTI The Commuttive Property The Distributive Property The Associtive Property Ti -6.4 / Chpter Covolutio y ] x ] ] x ]* ] x ] ] y] y ( t ) + x( τ ) h( t τ ) dτ x( t) * h(
More informationA general theory of minimal increments for Hirsch-type indices and applications to the mathematical characterization of Kosmulski-indices
Mlysi Jourl of Librry & Iformtio Sciece, Vol. 9, o. 3, 04: 4-49 A geerl theory of miiml icremets for Hirsch-type idices d pplictios to the mthemticl chrcteriztio of Kosmulski-idices L. Egghe Uiversiteit
More informationCyclic Inputs. Surface Generation (Part II) Ambiguity-preserving Generation. Ambiguity-preserving Generation. Ambiguity-preserving Generation
Cyli Inputs The set of strings tht grmmr reltes to yli input struture might e non-ontext-free Surfe Genertion (Prt II) Amiguity-preserving Genertion Amiguity-preserving Genertion Motivtion Motivtion ()
More informationLinear Programming. Preliminaries
Lier Progrmmig Prelimiries Optimiztio ethods: 3L Objectives To itroduce lier progrmmig problems (LPP To discuss the stdrd d coicl form of LPP To discuss elemetry opertio for lier set of equtios Optimiztio
More informationChapter 5. The Riemann Integral. 5.1 The Riemann integral Partitions and lower and upper integrals. Note: 1.5 lectures
Chpter 5 The Riem Itegrl 5.1 The Riem itegrl Note: 1.5 lectures We ow get to the fudmetl cocept of itegrtio. There is ofte cofusio mog studets of clculus betwee itegrl d tiderivtive. The itegrl is (iformlly)
More informationInfinite Series Sequences: terms nth term Listing Terms of a Sequence 2 n recursively defined n+1 Pattern Recognition for Sequences Ex:
Ifiite Series Sequeces: A sequece i defied s fuctio whose domi is the set of positive itegers. Usully it s esier to deote sequece i subscript form rther th fuctio ottio.,, 3, re the terms of the sequece
More informationLecture 4 Recursive Algorithm Analysis. Merge Sort Solving Recurrences The Master Theorem
Lecture 4 Recursive Algorithm Alysis Merge Sort Solvig Recurreces The Mster Theorem Merge Sort MergeSortA, left, right) { if left < right) { mid = floorleft + right) / 2); MergeSortA, left, mid); MergeSortA,
More informationCertain sufficient conditions on N, p n, q n k summability of orthogonal series
Avilble olie t www.tjs.com J. Nolier Sci. Appl. 7 014, 7 77 Reserch Article Certi sufficiet coditios o N, p, k summbility of orthogol series Xhevt Z. Krsiqi Deprtmet of Mthemtics d Iformtics, Fculty of
More informationQn Suggested Solution Marking Scheme 1 y. G1 Shape with at least 2 [2]
Mrkig Scheme for HCI 8 Prelim Pper Q Suggested Solutio Mrkig Scheme y G Shpe with t lest [] fetures correct y = f'( ) G ll fetures correct SR: The mimum poit could be i the first or secod qudrt. -itercept
More informationChapter 7 Infinite Series
MA Ifiite Series Asst.Prof.Dr.Supree Liswdi Chpter 7 Ifiite Series Sectio 7. Sequece A sequece c be thought of s list of umbers writte i defiite order:,,...,,... 2 The umber is clled the first term, 2
More informationMathematical Notations and Symbols xi. Contents: 1. Symbols. 2. Functions. 3. Set Notations. 4. Vectors and Matrices. 5. Constants and Numbers
Mthemticl Nottios d Symbols i MATHEMATICAL NOTATIONS AND SYMBOLS Cotets:. Symbols. Fuctios 3. Set Nottios 4. Vectors d Mtrices 5. Costts d Numbers ii Mthemticl Nottios d Symbols SYMBOLS = {,,3,... } set
More informationg as the function in which for every element x be the set of polynomials of a degree less than or equal to n with , for each i from 0 to n )
Vector Spce Observtio: I this book, we will distiguish vectors d sclr eleets. For sclr eleets we will use Greek letters,,,, etc. d for the vectors i V we will use letters x,y,u,v,w,s,, etc., fro our ow
More informationSUTCLIFFE S NOTES: CALCULUS 2 SWOKOWSKI S CHAPTER 11
UTCLIFFE NOTE: CALCULU WOKOWKI CHAPTER Ifiite eries Coverget or Diverget eries Cosider the sequece If we form the ifiite sum 0, 00, 000, 0 00 000, we hve wht is clled ifiite series We wt to fid the sum
More informationThe Definite Integral
The Defiite Itegrl A Riem sum R S (f) is pproximtio to the re uder fuctio f. The true re uder the fuctio is obtied by tkig the it of better d better pproximtios to the re uder f. Here is the forml defiitio,
More informationTHE GAMMA FUNCTION. z w dz.
THE GAMMA FUNCTION. Some results from lysis Lemm. Suppose f is sequece of fuctios lytic o ope subset D of C. If f coverges uiformly o every compct closed d bouded subset of D to the limit fuctio f the
More informationEXERCISE a a a 5. + a 15 NEETIIT.COM
- Dowlod our droid App. Sigle choice Type Questios EXERCISE -. The first term of A.P. of cosecutive iteger is p +. The sum of (p + ) terms of this series c be expressed s () (p + ) () (p + ) (p + ) ()
More informationIntroduction to mathematical Statistics
More ttistics tutoril t wwwdumblittledoctorcom Itroductio to mthemticl ttistics Chpter 7 ypothesis Testig Exmple (ull hypothesis) : the verge height is 5 8 or more ( : μ 5'8" ) (ltertive hypothesis) :
More informationSimilar idea to multiplication in N, C. Divide and conquer approach provides unexpected improvements. Naïve matrix multiplication
Next. Covered bsics of simple desig techique (Divided-coquer) Ch. of the text.. Next, Strsse s lgorithm. Lter: more desig d coquer lgorithms: MergeSort. Solvig recurreces d the Mster Theorem. Similr ide
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More informationSolution of the exam in TMA4212 Monday 23rd May 2013 Time: 9:00 13:00
Norwegi Uiversity of Sciece d Techology Deprtmet of Mthemticl Scieces Cotct durig the exm: Ele Celledoi, tlf. 735 93541 Pge 1 of 7 of the exm i TMA4212 Mody 23rd My 2013 Time: 9:00 13:00 Allowed ids: Approved
More informationComputability and computational complexity
Computability ad computatioal complexity Lecture 4: Uiversal Turig machies. Udecidability Io Petre Computer Sciece, Åbo Akademi Uiversity Fall 2015 http://users.abo.fi/ipetre/computability/ 21. toukokuu
More informationRemarks: (a) The Dirac delta is the function zero on the domain R {0}.
Sectio Objective(s): The Dirc s Delt. Mi Properties. Applictios. The Impulse Respose Fuctio. 4.4.. The Dirc Delt. 4.4. Geerlized Sources Defiitio 4.4.. The Dirc delt geerlized fuctio is the limit δ(t)
More informationThe Average Complexity of Moore s State Minimization Algorithm is O(n log log n)
The Averge Complexity of Moore s Stte Miimiztio Algorithm is O( log log ) Julie Dvid Istitut Gsprd Moge, Uiversité Pris Est 77454 Mre-l-Vllée Cedex 2, Frce. Astrct. We prove tht the verge complexity, for
More informationDEPARTMENT OF ELECTRICAL &ELECTRONICS ENGINEERING SIGNALS AND SYSTEMS. Assoc. Prof. Dr. Burak Kelleci. Spring 2018
DEPARTMENT OF ELECTRICAL &ELECTRONICS ENGINEERING SIGNALS AND SYSTEMS Assoc. Prof. Dr. Bur Kelleci Sprig 8 OUTLINE The Z-Trsform The Regio of covergece for the Z-trsform The Iverse Z-Trsform Geometric
More informationContent. Languages, Alphabets and Strings. Operations on Strings. a ab abba baba. aaabbbaaba b 5. Languages. A language is a set of strings
CD5560 FABER Forml guges, Automt d Models of Computtio ecture Mälrdle Uiversity 006 Cotet guges, Alphets d Strigs Strigs & Strig Opertios guges & guge Opertios Regulr Expressios Fiite Automt, FA Determiistic
More informationThe Basic Properties of the Integral
The Bsic Properties of the Itegrl Whe we compute the derivtive of complicted fuctio, like x + six, we usully use differetitio rules, like d [f(x)+g(x)] d f(x)+ d g(x), to reduce the computtio dx dx dx
More informationCHAPTER 3 NETWORK ADMITTANCE AND IMPEDANCE MATRICES
CHAPTER NETWORK ADTTANCE AND PEDANCE ATRCES As we hve see i Chter tht ower system etwor c e coverted ito equivlet imedce digrm. This digrm forms the sis of ower flow (or lod flow) studies d short circuit
More informationKNOWLEDGE-BASED AGENTS INFERENCE
AGENTS THAT REASON LOGICALLY KNOWLEDGE-BASED AGENTS Two components: knowledge bse, nd n inference engine. Declrtive pproch to building n gent. We tell it wht it needs to know, nd It cn sk itself wht to
More informationSets and Probabilistic Models
ets ad Probabilistic Models Berli Che Departmet of Computer ciece & Iformatio Egieerig Natioal Taiwa Normal Uiversity Referece: - D. P. Bertsekas, J. N. Tsitsiklis, Itroductio to Probability, ectios 1.1-1.2
More informationVectors. Vectors in Plane ( 2
Vectors Vectors i Ple ( ) The ide bout vector is to represet directiol force Tht mes tht every vector should hve two compoets directio (directiol slope) d mgitude (the legth) I the ple we preset vector
More informationCSC 473 Automata, Grammars & Languages 11/9/10
CSC 473 utomt, Grmmrs & Lnguges 11/9/10 utomt, Grmmrs nd Lnguges Discourse 06 Decidbility nd Undecidbility Decidble Problems for Regulr Lnguges Theorem 4.1: (embership/cceptnce Prob. for DFs) = {, w is
More informationRelation of BSTs to Quicksort, Analysis of Random BST. Lecture 9
Reltio o BSTs to Quicsort, Alysis o Rdom BST Lecture 9 Biry-serch-tree sort T Crete empty BST or i = to do TREE-INSERT(T, A[i]) Perorm iorder tree wl o T. Emple: 3 A = [3 8 2 6 7 5] 8 Tree-wl time = O(),
More informationGeometric Sequences. Geometric Sequence. Geometric sequences have a common ratio.
s A geometric sequece is sequece such tht ech successive term is obtied from the previous term by multiplyig by fixed umber clled commo rtio. Exmples, 6, 8,, 6,..., 0, 0, 0, 80,... Geometric sequeces hve
More informationAbel Resummation, Regularization, Renormalization & Infinite Series
Prespcetime Jourl August 3 Volume 4 Issue 7 pp. 68-689 Moret, J. J. G., Abel Resummtio, Regulriztio, Reormliztio & Ifiite Series Abel Resummtio, Regulriztio, Reormliztio & Ifiite Series 68 Article Jose
More informationLecture 16: Monotone Formula Lower Bounds via Graph Entropy. 2 Monotone Formula Lower Bounds via Graph Entropy
15-859: Iformatio Theory ad Applicatios i TCS CMU: Sprig 2013 Lecture 16: Mootoe Formula Lower Bouds via Graph Etropy March 26, 2013 Lecturer: Mahdi Cheraghchi Scribe: Shashak Sigh 1 Recap Graph Etropy:
More informationApplied Databases. Sebastian Maneth. Lecture 16 Suffix Array, Burrows-Wheeler Transform. University of Edinburgh - March 10th, 2016
Applied Dtbses Lecture 16 Suffix Arry, Burrows-Wheeler Trsform Sebsti Meth Uiversity of Ediburgh - Mrch 10th, 2016 2 Outlie 1. Suffix Arry 2. Burrows-Wheeler Trsform 3 Olie Strig-Mtchig how c we do Horspool
More informationFormal Languages The Pumping Lemma for CFLs
Forl Lguges The Pupig Le for CFLs Review: pupig le for regulr lguges Tke ifiite cotext-free lguge Geertes ifiite uer of differet strigs Exple: 3 I derivtio of log strig, vriles re repeted derivtio: 4 Derivtio
More informationThe Weierstrass Approximation Theorem
The Weierstrss Approximtio Theorem Jmes K. Peterso Deprtmet of Biologicl Scieces d Deprtmet of Mthemticl Scieces Clemso Uiversity Februry 26, 2018 Outlie The Wierstrss Approximtio Theorem MtLb Implemettio
More informationarxiv: v1 [cs.cc] 23 Oct 2008
Ode s Lemm for Reulr Tree Lues rxiv:0810.4249v1 [cs.cc] 23 Oct 2008 1 Itroductio Mrco Kuhlm Dept. of Liuistics d Philoloy Uppsl Uiversity, Swede 29th October 2018 Pumpi lemmt re elemetry tools for the
More informationMATH 104 FINAL SOLUTIONS. 1. (2 points each) Mark each of the following as True or False. No justification is required. y n = x 1 + x x n n
MATH 04 FINAL SOLUTIONS. ( poits ech) Mrk ech of the followig s True or Flse. No justifictio is required. ) A ubouded sequece c hve o Cuchy subsequece. Flse b) A ifiite uio of Dedekid cuts is Dedekid cut.
More informationInference on One Population Mean Hypothesis Testing
Iferece o Oe Popultio Me ypothesis Testig Scerio 1. Whe the popultio is orml, d the popultio vrice is kow i. i. d. Dt : X 1, X,, X ~ N(, ypothesis test, for istce: Exmple: : : : : : 5'7" (ull hypothesis:
More informationSection 6.3: Geometric Sequences
40 Chpter 6 Sectio 6.: Geometric Sequeces My jobs offer ul cost-of-livig icrese to keep slries cosistet with ifltio. Suppose, for exmple, recet college grdute fids positio s sles mger erig ul slry of $6,000.
More informationModule 9: String Matching
Module 9: Strig Mtchig CS 240 Dt Structures d Dt Mgemet T. Biedl K. Lctot M. Sepehri S. Wild Bsed o lecture otes y my previous cs240 istructors Dvid R. Cherito School of Computer Sciece, Uiversity of Wterloo
More informationIntroduction to Computational Molecular Biology. Suffix Trees
18.417 Itroductio to Computtiol Moleculr Biology Lecture 11: October 14, 004 Scribe: Athich Muthitchroe Lecturer: Ross Lippert Editor: Toy Scelfo Suffix Trees This is oe of the most complicted dt structures
More informationSTURM-LIOUVILLE BOUNDARY VALUE PROBLEMS
STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2
More informationNotes on Dirichlet L-functions
Notes o Dirichlet L-fuctios Joth Siegel Mrch 29, 24 Cotets Beroulli Numbers d Beroulli Polyomils 2 L-fuctios 5 2. Chrcters............................... 5 2.2 Diriclet Series.............................
More informationSets. Sets. Operations on Sets Laws of Algebra of Sets Cardinal Number of a Finite and Infinite Set. Representation of Sets Power Set Venn Diagram
Sets MILESTONE Sets Represetatio of Sets Power Set Ve Diagram Operatios o Sets Laws of lgebra of Sets ardial Number of a Fiite ad Ifiite Set I Mathematical laguage all livig ad o-livig thigs i uiverse
More informationLecture 2 Clustering Part II
COMS 4995: Usupervised Learig (Summer 8) May 24, 208 Lecture 2 Clusterig Part II Istructor: Nakul Verma Scribes: Jie Li, Yadi Rozov Today, we will be talkig about the hardess results for k-meas. More specifically,
More informationMAHESH TUTORIALS SUBJECT : Maths(012) First Preliminary Exam Model Answer Paper
SET - GSE tch : 0th Std. Eg. Medium MHESH TUTILS SUJET : Mths(0) First Prelimiry Exm Model swer Pper PRT -.. () like does ot exist s biomil surd. () 4.. 6. 7. 8. 9. 0... 4 (c) touches () - d () -4 7 (c)
More informationlecture 16: Introduction to Least Squares Approximation
97 lecture 16: Itroductio to Lest Squres Approximtio.4 Lest squres pproximtio The miimx criterio is ituitive objective for pproximtig fuctio. However, i my cses it is more ppelig (for both computtio d
More information1.4 Nonregular Languages
74 1.4 Nonregulr Lnguges The number of forml lnguges over ny lphbet (= decision/recognition problems) is uncountble On the other hnd, the number of regulr expressions (= strings) is countble Hence, ll
More informationBRAIN TEASURES INDEFINITE INTEGRATION+DEFINITE INTEGRATION EXERCISE I
EXERCISE I t Q. d Q. 6 6 cos si Q. Q.6 d d Q. d Q. Itegrte cos t d by the substitutio z = + e d e Q.7 cos. l cos si d d Q. cos si si si si b cos Q.9 d Q. si b cos Q. si( ) si( ) d ( ) Q. d cot d d Q. (si
More informationDigital Signal Processing, Fall 2006
Digitl Sigl Processig, Fll 6 Lecture 6: Sstem structures for implemettio Zeg-u T Deprtmet of Electroic Sstems Alorg Uiversit, Demr t@om.u.d Digitl Sigl Processig, VI, Zeg-u T, 6 Course t glce Discrete-time
More informationLesson 4 Linear Algebra
Lesso Lier Algebr A fmily of vectors is lierly idepedet if oe of them c be writte s lier combitio of fiitely my other vectors i the collectio. Cosider m lierly idepedet equtios i ukows:, +, +... +, +,
More informationANALYTIC WAVELETS AND MULTIRESOLUTION ANALYSIS A NOTE ON CERTAIN ORTHOGONALITY CONDITIONS
Proceedigs, Fculty of Mechicl Egieerig, Sope, ol 3, No, pp 4 47 (4) CODEN: ZTFSEH 35 ISSN 35 667 eceived: September 9, 4 UDK: 57979 Accepted: November 9, 4 Short commuictio ANALYTIC WAELETS AND MULTIESOLUTION
More informationProbability and Stochastic Processes: A Friendly Introduction for Electrical and Computer Engineers Roy D. Yates and David J.
Probbility d Stochstic Processes: A Friedly Itroductio for Electricl d Computer Egieers Roy D. Ytes d Dvid J. Goodm Problem Solutios : Ytes d Goodm,4..4 4..4 4..7 4.4. 4.4. 4..6 4.6.8 4.6.9 4.7.4 4.7.
More informationSOME SHARP OSTROWSKI-GRÜSS TYPE INEQUALITIES
Uiv. Beogrd. Publ. Elektroteh. Fk. Ser. Mt. 8 006 4. Avilble electroiclly t http: //pefmth.etf.bg.c.yu SOME SHARP OSTROWSKI-GRÜSS TYPE INEQUALITIES Zheg Liu Usig vrit of Grüss iequlity to give ew proof
More information10.5 Power Series. In this section, we are going to start talking about power series. A power series is a series of the form
0.5 Power Series I the lst three sectios, we ve spet most of tht time tlkig bout how to determie if series is coverget or ot. Now it is time to strt lookig t some specific kids of series d we will evetully
More information9.5. Alternating series. Absolute convergence and conditional convergence
Chpter 9: Ifiite Series I this Chpter we will be studyig ifiite series, which is just other me for ifiite sums. You hve studied some of these i the pst whe you looked t ifiite geometric sums of the form:
More information{ } { S n } is monotonically decreasing if Sn
Sequece A sequece is fuctio whose domi of defiitio is the set of turl umers. Or it c lso e defied s ordered set. Nottio: A ifiite sequece is deoted s { } S or { S : N } or { S, S, S,...} or simply s {
More informationThe Elementary Arithmetic Operators of Continued Fraction
Americ-Eursi Jourl of Scietific Reserch 0 (5: 5-63, 05 ISSN 88-6785 IDOSI Pulictios, 05 DOI: 0.589/idosi.ejsr.05.0.5.697 The Elemetry Arithmetic Opertors of Cotiued Frctio S. Mugssi d F. Mistiri Deprtmet
More informationThe Reimann Integral is a formal limit definition of a definite integral
MATH 136 The Reim Itegrl The Reim Itegrl is forml limit defiitio of defiite itegrl cotiuous fuctio f. The costructio is s follows: f ( x) dx for Reim Itegrl: Prtitio [, ] ito suitervls ech hvig the equl
More informationLinear Algebra. Lecture 1 September 19, 2011
Lier Algebr Lecture September 9, Outlie Course iformtio Motivtio Outlie of the course Wht is lier lgebr? Chpter. Systems of Lier Equtios. Solvig Lier Systems. Vectors d Mtrices Course iformtio Istructor:
More information