Pikachu, Domosaur, and other Monolexical Languages

Size: px
Start display at page:

Download "Pikachu, Domosaur, and other Monolexical Languages"

Transcription

1 Pikchu, Domosur, d other Moolexicl Lguges Srh Alle, Jesse Dodge, Domosur Mrch 2014 Abstrct M complicted techiques hve bee itroduced to id i computer processig of turl lguges. While this is geerll cosidered to be difficult tsk, m pproches hve igored the prevlet clss of moolexicl lguges, or lguges tht cosist of sigle word. Here we preset some desirble properties of such lguges d ppl techiques for commo NLP tsks. 1 Itroductio Curret turl lguge processig techiques ddress m problems i hum-cetric lguges, but the commuit s whole hs igored the clss of moolexicl lguges, of which there re m. Our gol is to highlight some sliet properties of these lguges i hopes of expdig the cpbilities of moder NLP softwre. While trditiol pproches hve ssumed high lguge complexit, we show i Sectio 2 tht this clss of lguges is i fct esil recogizble b computer usig existig techiques. We lso exted curret techiques to iclude moolexicl lguges i Sectio 3. Fill, i Sectio 4, we illustrte the experimetl results of some techiques pplied to these lguges. 1.1 Motivtio Most NLP models re eedlessl complicted, thus cretig hedche for those who implemet them. While these overwrought techiques pper to ield good results for lguges such s Frech, Eglish, d Chiese, the commuit hs lrgel igored the equll importt clss of moolexicl lguges. Moolexicl lguges hve bee recogized i m turl settigs. A few well kow exmples iclude the lguges spoke b Poke mo, N Ct, d Timm Burch of South Prk, Colordo (see Figure 1). I dditio to their prevlece, moolexicl lguges hve m desirble properties which we discuss i subsequet sectios. () Pikchu (b) N Ct (c) TIMMAY!!!!!! Figure 1: Exmples of cretures with moolexicl lguges 1

2 1.2 Defiitio of Moolexicl Lguge A moolexicl lguge is mde up of seteces ll usig sigle word ol, which we cll the bsis of the lguge. The seteces m coti puctutio chrcters, but we cosider ol termil puctutio, which is used to delimit the seteces. Depedig o the lguge, the bsis m pper either cpitlized or i ll lowercse, but we lso cosider cpitliztio to be irrelevt, so ll processig is doe b chgig ll strigs to lowercse. Therefore, the forml defiitio of the set of ll vlid seteces (without puctutio) is {w( w) i }, where w is the bsis of the lguge. i=0 Figure 2: Domosur i his turl hbitt I m cses, the bsis of the lguge is epomous with the creture tht speks it. Oe such exmple is Domosur, lguge spoke b the creture Domosur. Domosur is getle creture who ws htched from egg, ets predomitl beef d potto stew, d is lws see i diosur costume. He is lso kow to become fltulet whe he is ervous[1]. He curretl resides i the Gtes buildig i Pittsburgh, PA. A photogrph of Domosur is depicted i Figure 2. His website c be foud t 2

3 2 Moolexicl Lguges re Regulr M ttempts hve bee mde to chrcterize turl lguges usig formlisms such s cotext-free grmmrs. For most trditiol lguges, these ttempts hve bee lrgel usuccessful due to the complexit of the lguge. I this sectio, we demostrte tht moolexicl lguges re ot ol cotext free, but lso regulr. From Sectio 1.2, it is cler tht ll text i moolexicl lguge with bsis strig b c be expressed usig the regulr expressio (b( b) (.!?) ) (b( b) (.!?)) Now it remis to show tht {b} is i fct regulr. To illustrte this, we costruct determiistic fiite utomto for the bsis of oe exmple lguge, mel. The DFA for {} is show i Figure 3. The proof of its correctess is left s exercise to the reder. This costructio c be trivill exteded for other bsis words. q strt 0 q,, 1 q 2 q 3 q 4,,, q 5 q 6 q 7 q 8,,,,,,, q 10 q 11 q 12 q 13 Figure 3: DFA for the lguge {}. A cceptig pth is show i red. 3 Applig NLP Tools to Moolexicl Lguges I this sectio, we cover the pplictio of some commo turl lguge processig (NLP) techiques to problems risig i moolexicl lguges. 3.1 Mchie Trsltio A gret success of moder NLP hs bee mchie trsltio, the utomtic trsltio from oe lguge to other. While previous work, such s Google trslte, hs bee populr, we hve foud tht trsltig both to d from lguge to be uecessril complicted. With simple relxtio of the problem, we hve developed lgorithim for the hol gril of mchie trsltio: Uiversl trsltio Oe-W Mchie Trsltio Our lgorithm trsltes from lguge to give moolexicl lguge. pproch, outlied below. It follows two-stge 1. Word ligmet All words i the source lguge trslte to the bsis word i the trget. This geertes setece i the moolexicl lguge, S. Ufortutel, it is ver difficult to trslte from moolexicl lguges to more trditiol lguges, s m words i moolexicl lguges hve mbiguous meigs. 2. Reorderig I moolexicl lguges, there is observed pheome tht ll seteces re ordered lexicogrphicll. Therefore, fter geertig S, we sort the tokes i S. Our pproch is s follows: 3

4 () Geerte ll possible permuttios of the set of strigs i S. (b) Score ech geerted permuttio π i with the percetge of words i π i tht pper i sorted order (c) Retur rg mx Score(π i) π i Π Thus it is possible to perform oe-w trsltio with 100% ccurc i O(!) time. Future work could iclude improvemet of the ruig time for this lgorithm. 3.2 Setimet Lexico The tsk of setimet lsis is both vitl d difficult. This well-studied problem hs bee the subject of much reserch. For ech moolexicl lguge, d ll possible setimets, we preset lgorithm to geerte complete setimet lexico. 1. For ech setimet possible, dd etr to the lexico mppig from the bsis word to the setimet. This geertes complete setimet lexico, which mps from ech word i the lguge to its setimet. 4 Experimets 4.1 Wordcloud Wordclouds hve become populr w to represet the reltive frequec of words i set of strigs. The hve lso become growig topic i computer visuliztio reserch. Usig lrge corpus of vilble text, we hve costructed word cloud tht represets the reltive frequec of vrious words i the lguge Domosur. The word cloud is depicted i Figure 4 domosur Figure 4: Word Cloud for Domosur 4

5 4.2 Topic Model Topic models hve bee used for umber of purposes i NLP, from text clssifictio to semtic lsis. I tpicl setup, topic model lers set of topics, where topic is set of semticll relted words. Documets c be modeled s beig geerted from oe or more topics. For exmple, documet bout Pokémo could be geerted from topic cotiig words such s ctch d pokébll. Lerig topic model c be somewht ivolved, d tkes o-trivil mout of time. Whe delig with moolexicl lguges, however, topic model becomes much simpler d loses much of its eedless complexit. I this work, we lered topic model for exmple moolexicl lguge, d preset the topics i Figure 5. TIMMY Figure 5: A topic for the lguge TIMMY 5 Coclusio I this pper we hve described how rr of well-studied NLP tools c be dpted for this importt clss of lguges. It is our hope tht the techiques d results itroduced i this work will crete foudtio for m subsequet sstems d improvemets to existig NLP softwre. Future work for this field icludes extesios to similr lguges, such s oligolexicl lguges d empt lguges. Refereces [1] Wikipedi. Domo(NHK)

Review of CFGs and Parsing I Context-free Languages and Grammars. Winter 2014 Costas Busch - RPI 1

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 information

Similar idea to multiplication in N, C. Divide and conquer approach provides unexpected improvements. Naïve matrix multiplication

Similar 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 information

INFINITE SERIES. ,... having infinite number of terms is called infinite sequence and its indicated sum, i.e., a 1

INFINITE 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 information

Some Properties of Brzozowski Derivatives of Regular Expressions

Some 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 information

( a n ) converges or diverges.

( a n ) converges or diverges. Chpter Ifiite Series Pge of Sectio E Rtio Test Chpter : Ifiite Series By the ed of this sectio you will be ble to uderstd the proof of the rtio test test series for covergece by pplyig the rtio test pprecite

More information

A GENERAL METHOD FOR SOLVING ORDINARY DIFFERENTIAL EQUATIONS: THE FROBENIUS (OR SERIES) METHOD

A 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 information

PROGRESSIONS AND SERIES

PROGRESSIONS AND SERIES PROGRESSIONS AND SERIES A sequece is lso clled progressio. We ow study three importt types of sequeces: () The Arithmetic Progressio, () The Geometric Progressio, () The Hrmoic Progressio. Arithmetic Progressio.

More information

General properties of definite integrals

General properties of definite integrals Roerto s Notes o Itegrl Clculus Chpter 4: Defiite itegrls d the FTC Sectio Geerl properties of defiite itegrls Wht you eed to kow lredy: Wht defiite Riem itegrl is. Wht you c ler here: Some key properties

More information

Applied Databases. Sebastian Maneth. Lecture 16 Suffix Array, Burrows-Wheeler Transform. University of Edinburgh - March 16th, 2017

Applied Databases. Sebastian Maneth. Lecture 16 Suffix Array, Burrows-Wheeler Transform. University of Edinburgh - March 16th, 2017 Applied Dtbses Lecture 16 Suffix Arry, Burrows-Wheeler Trsform Sebsti Meth Uiversity of Ediburgh - Mrch 16th, 2017 Outlie 2 1. Suffix Arry 2. Burrows-Wheeler Trsform Outlie 3 1. Suffix Arry 2. Burrows-Wheeler

More information

Chapter 7 Infinite Series

Chapter 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 information

Chapter 5. The Riemann Integral. 5.1 The Riemann integral Partitions and lower and upper integrals. Note: 1.5 lectures

Chapter 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 information

Section IV.6: The Master Method and Applications

Section 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 information

Section 6.3: Geometric Sequences

Section 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 information

Content. Languages, Alphabets and Strings. Operations on Strings. a ab abba baba. aaabbbaaba b 5. Languages. A language is a set of strings

Content. 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 information

Module 9: String Matching

Module 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 information

Introduction to Computational Molecular Biology. Suffix Trees

Introduction 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 information

We will begin by supplying the proof to (a).

We 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 information

0 otherwise. sin( nx)sin( kx) 0 otherwise. cos( nx) sin( kx) dx 0 for all integers n, k.

0 otherwise. sin( nx)sin( kx) 0 otherwise. cos( nx) sin( kx) dx 0 for all integers n, k. . Computtio of Fourier Series I this sectio, we compute the Fourier coefficiets, f ( x) cos( x) b si( x) d b, i the Fourier series To do this, we eed the followig result o the orthogolity of the trigoometric

More information

MA123, Chapter 9: Computing some integrals (pp )

MA123, Chapter 9: Computing some integrals (pp ) MA13, Chpter 9: Computig some itegrls (pp. 189-05) Dte: Chpter Gols: Uderstd how to use bsic summtio formuls to evlute more complex sums. Uderstd how to compute its of rtiol fuctios t ifiity. Uderstd how

More information

ENGR 3861 Digital Logic Boolean Algebra. Fall 2007

ENGR 3861 Digital Logic Boolean Algebra. Fall 2007 ENGR 386 Digitl Logi Boole Alger Fll 007 Boole Alger A two vlued lgeri system Iveted y George Boole i 854 Very similr to the lger tht you lredy kow Sme opertios ivolved dditio sutrtio multiplitio Repled

More information

Prior distributions. July 29, 2002

Prior distributions. July 29, 2002 Prior distributios Aledre Tchourbov PKI 357, UNOmh, South 67th St. Omh, NE 688-694, USA Phoe: 4554-64 E-mil: tchourb@cse.ul.edu July 9, Abstrct This documet itroduces prior distributios for the purposes

More information

lecture 16: Introduction to Least Squares Approximation

lecture 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 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 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 information

Taylor Polynomials. The Tangent Line. (a, f (a)) and has the same slope as the curve y = f (x) at that point. It is the best

Taylor Polynomials. The Tangent Line. (a, f (a)) and has the same slope as the curve y = f (x) at that point. It is the best Tylor Polyomils Let f () = e d let p() = 1 + + 1 + 1 6 3 Without usig clcultor, evlute f (1) d p(1) Ok, I m still witig With little effort it is possible to evlute p(1) = 1 + 1 + 1 (144) + 6 1 (178) =

More information

1.3 Continuous Functions and Riemann Sums

1.3 Continuous Functions and Riemann Sums mth riem sums, prt 0 Cotiuous Fuctios d Riem Sums I Exmple we sw tht lim Lower() = lim Upper() for the fuctio!! f (x) = + x o [0, ] This is o ccidet It is exmple of the followig theorem THEOREM Let f be

More information

A general theory of minimal increments for Hirsch-type indices and applications to the mathematical characterization of Kosmulski-indices

A 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 information

Applied Databases. Sebastian Maneth. Lecture 16 Suffix Array, Burrows-Wheeler Transform. University of Edinburgh - March 10th, 2016

Applied 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 information

INTEGRATION TECHNIQUES (TRIG, LOG, EXP FUNCTIONS)

INTEGRATION TECHNIQUES (TRIG, LOG, EXP FUNCTIONS) Mthemtics Revisio Guides Itegrtig Trig, Log d Ep Fuctios Pge of MK HOME TUITION Mthemtics Revisio Guides Level: AS / A Level AQA : C Edecel: C OCR: C OCR MEI: C INTEGRATION TECHNIQUES (TRIG, LOG, EXP FUNCTIONS)

More information

EVALUATING DEFINITE INTEGRALS

EVALUATING DEFINITE INTEGRALS Chpter 4 EVALUATING DEFINITE INTEGRALS If the defiite itegrl represets re betwee curve d the x-xis, d if you c fid the re by recogizig the shpe of the regio, the you c evlute the defiite itegrl. Those

More information

Review of the Riemann Integral

Review 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

Review of Sections

Review of Sections Review of Sectios.-.6 Mrch 24, 204 Abstrct This is the set of otes tht reviews the mi ides from Chpter coverig sequeces d series. The specific sectios tht we covered re s follows:.: Sequces..2: Series,

More information

Convergence rates of approximate sums of Riemann integrals

Convergence rates of approximate sums of Riemann integrals Jourl of Approximtio Theory 6 (9 477 49 www.elsevier.com/locte/jt Covergece rtes of pproximte sums of Riem itegrls Hiroyuki Tski Grdute School of Pure d Applied Sciece, Uiversity of Tsukub, Tsukub Ibrki

More information

Merge Sort. Outline and Reading. Divide-and-Conquer. Divide-and-conquer paradigm ( 4.1.1) Merge-sort ( 4.1.1)

Merge 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 information

11/16/2010 The Inner Product.doc 1/9. The Inner Product. So we now know that a continuous, analog signal v t can be expressed as:

11/16/2010 The Inner Product.doc 1/9. The Inner Product. So we now know that a continuous, analog signal v t can be expressed as: 11/16/2010 The Ier Product.doc 1/9 The Ier Product So we ow kow tht cotiuous, log sigl v t c be epressed s: v t t So tht cotiuous, log sigl c be (lmost) completel specified b discrete set of umbers:,,,,,,

More information

CONVERGENCE OF THE RATIO OF PERIMETER OF A REGULAR POLYGON TO THE LENGTH OF ITS LONGEST DIAGONAL AS THE NUMBER OF SIDES OF POLYGON APPROACHES TO

CONVERGENCE OF THE RATIO OF PERIMETER OF A REGULAR POLYGON TO THE LENGTH OF ITS LONGEST DIAGONAL AS THE NUMBER OF SIDES OF POLYGON APPROACHES TO CONVERGENCE OF THE RATIO OF PERIMETER OF A REGULAR POLYGON TO THE LENGTH OF ITS LONGEST DIAGONAL AS THE NUMBER OF SIDES OF POLYGON APPROACHES TO Pw Kumr BK Kthmdu, Nepl Correspodig to: Pw Kumr BK, emil:

More information

Chapter 4 Regular Grammar and Regular Sets. (Solutions / Hints)

Chapter 4 Regular Grammar and Regular Sets. (Solutions / Hints) C K Ngpl Forml Lnguges nd utomt Theory Chpter 4 Regulr Grmmr nd Regulr ets (olutions / Hints) ol. (),,,,,,,,,,,,,,,,,,,,,,,,,, (),, (c) c c, c c, c, c, c c, c, c, c, c, c, c, c c,c, c, c, c, c, c, c, c,

More information

Introduction to Matrix Algebra

Introduction to Matrix Algebra Itrodutio to Mtri Alger George H Olso, Ph D Dotorl Progrm i Edutiol Ledership Applhi Stte Uiversit Septemer Wht is mtri? Dimesios d order of mtri A p q dimesioed mtri is p (rows) q (olums) rr of umers,

More information

Vectors. Vectors in Plane ( 2

Vectors. 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 information

MTH 146 Class 16 Notes

MTH 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 information

Notes on Dirichlet L-functions

Notes 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 information

SOME 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 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 information

Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands. Ajay K. Verma and Paolo Ienne. csda

Improving XOR-Dominated Circuits by Exploiting Dependencies between Operands. Ajay K. Verma and Paolo Ienne. csda Improvig XOR-Domited Circuits y Exploitig Depedecies etwee Operds Ajy K. Verm d Polo Iee csd Processor Architecture Lortory LAP & Cetre for Advced Digitl Systems CSDA Ecole Polytechique Fédérle de Luse

More information

Finite Automata. Reading: Chapter 2

Finite Automata. Reading: Chapter 2 Fiite Automata Readig: Chapter 2 Fiite Automato (FA) Iformally, a state diagram that comprehesively captures all possible states ad trasitios that a machie ca take while respodig to a stream or sequece

More information

SOLUTION OF DIFFERENTIAL EQUATION FOR THE EULER-BERNOULLI BEAM

SOLUTION OF DIFFERENTIAL EQUATION FOR THE EULER-BERNOULLI BEAM Jourl of Applied Mthemtics d Computtiol Mechics () 57-6 SOUION O DIERENIA EQUAION OR HE EUER-ERNOUI EAM Izbel Zmorsk Istitute of Mthemtics Czestochow Uiversit of echolog Częstochow Pold izbel.zmorsk@im.pcz.pl

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS4: Discrete Mthemtics for Computer Sciece I Dept. Iformtio & Computer Sci., J Stelovsky sed o slides y Dr. Bek d Dr. Still Origils y Dr. M. P. Frk d Dr. J.L. Gross Provided y McGrw-Hill 3- Quiz. gcd(84,96).

More information

POWER SERIES R. E. SHOWALTER

POWER 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 information

Geometric Sequences. Geometric Sequence. Geometric sequences have a common ratio.

Geometric 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 information

Pre-Calculus - Chapter 3 Sections Notes

Pre-Calculus - Chapter 3 Sections Notes Pre-Clculus - Chpter 3 Sectios 3.1-3.4- Notes Properties o Epoets (Review) 1. ( )( ) = + 2. ( ) =, (c) = 3. 0 = 1 4. - = 1/( ) 5. 6. c Epoetil Fuctios (Sectio 3.1) Deiitio o Epoetil Fuctios The uctio deied

More information

SUTCLIFFE S NOTES: CALCULUS 2 SWOKOWSKI S CHAPTER 11

SUTCLIFFE 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 information

NFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun:

NFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun: CMPU 240 Lnguge Theory nd Computtion Spring 2019 NFAs nd Regulr Expressions Lst clss: Introduced nondeterministic finite utomt with -trnsitions Tody: Prove n NFA- is no more powerful thn n NFA Introduce

More information

Limit of a function:

Limit of a function: - Limit of fuctio: We sy tht f ( ) eists d is equl with (rel) umer L if f( ) gets s close s we wt to L if is close eough to (This defiitio c e geerlized for L y syig tht f( ) ecomes s lrge (or s lrge egtive

More information

Course Material. CS Lecture 1 Deterministic Finite Automata. Grading and Policies. Workload. Website:http://www.cs.colostate.

Course Material. CS Lecture 1 Deterministic Finite Automata. Grading and Policies. Workload. Website:http://www.cs.colostate. Course Mteril CS 301 - Lecture 1 Determiistic Fiite Automt Fll 2008 Wesite:http://www.cs.colostte.edu/~cs301 Syllus, Outlie, Grdig Policies Homework d Slides Istructor: D Mssey Office hours: 2-3pm Tues

More information

Formal Languages The Pumping Lemma for CFLs

Formal 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 information

CH 39 USING THE GCF TO REDUCE FRACTIONS

CH 39 USING THE GCF TO REDUCE FRACTIONS 359 CH 39 USING THE GCF TO EDUCE FACTIONS educig Algeric Frctios M ost of us lered to reduce rithmetic frctio dividig the top d the ottom of the frctio the sme (o-zero) umer. For exmple, 30 30 5 75 75

More information

SOME SHARP OSTROWSKI-GRÜSS TYPE INEQUALITIES

SOME 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 information

is an ordered list of numbers. Each number in a sequence is a term of a sequence. n-1 term

is an ordered list of numbers. Each number in a sequence is a term of a sequence. n-1 term Mthemticl Ptters. Arithmetic Sequeces. Arithmetic Series. To idetify mthemticl ptters foud sequece. To use formul to fid the th term of sequece. To defie, idetify, d pply rithmetic sequeces. To defie rithmetic

More information

The Weierstrass Approximation Theorem

The 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 information

Graphing Review Part 3: Polynomials

Graphing Review Part 3: Polynomials Grphig Review Prt : Polomils Prbols Recll, tht the grph of f ( ) is prbol. It is eve fuctio, hece it is smmetric bout the bout the -is. This mes tht f ( ) f ( ). Its grph is show below. The poit ( 0,0)

More information

Riemann Integration. Chapter 1

Riemann 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 information

Fast Fourier Transform 1) Legendre s Interpolation 2) Vandermonde Matrix 3) Roots of Unity 4) Polynomial Evaluation

Fast Fourier Transform 1) Legendre s Interpolation 2) Vandermonde Matrix 3) Roots of Unity 4) Polynomial Evaluation Algorithm Desig d Alsis Victor Admchi CS 5-45 Sprig 4 Lecture 3 J 7, 4 Cregie Mello Uiversit Outlie Fst Fourier Trsform ) Legedre s Iterpoltio ) Vdermode Mtri 3) Roots of Uit 4) Polomil Evlutio Guss (777

More information

In an algebraic expression of the form (1), like terms are terms with the same power of the variables (in this case

In an algebraic expression of the form (1), like terms are terms with the same power of the variables (in this case Chpter : Algebr: A. Bckgroud lgebr: A. Like ters: I lgebric expressio of the for: () x b y c z x y o z d x... p x.. we cosider x, y, z to be vribles d, b, c, d,,, o,.. to be costts. I lgebric expressio

More information

Week 13 Notes: 1) Riemann Sum. Aim: Compute Area Under a Graph. Suppose we want to find out the area of a graph, like the one on the right:

Week 13 Notes: 1) Riemann Sum. Aim: Compute Area Under a Graph. Suppose we want to find out the area of a graph, like the one on the right: Week 1 Notes: 1) Riem Sum Aim: Compute Are Uder Grph Suppose we wt to fid out the re of grph, like the oe o the right: We wt to kow the re of the red re. Here re some wys to pproximte the re: We cut the

More information

Definite Integral. The Left and Right Sums

Definite Integral. The Left and Right Sums Clculus Li Vs Defiite Itegrl. The Left d Right Sums The defiite itegrl rises from the questio of fidig the re betwee give curve d x-xis o itervl. The re uder curve c be esily clculted if the curve is give

More information

The total number of permutations of S is n!. We denote the set of all permutations of S by

The total number of permutations of S is n!. We denote the set of all permutations of S by DETERMINNTS. DEFINITIONS Def: Let S {,,, } e the set of itegers from to, rrged i scedig order. rerrgemet jjj j of the elemets of S is clled permuttio of S. S. The totl umer of permuttios of S is!. We deote

More information

SM2H. Unit 2 Polynomials, Exponents, Radicals & Complex Numbers Notes. 3.1 Number Theory

SM2H. Unit 2 Polynomials, Exponents, Radicals & Complex Numbers Notes. 3.1 Number Theory SMH Uit Polyomils, Epoets, Rdicls & Comple Numbers Notes.1 Number Theory .1 Addig, Subtrctig, d Multiplyig Polyomils Notes Moomil: A epressio tht is umber, vrible, or umbers d vribles multiplied together.

More information

Numbers (Part I) -- Solutions

Numbers (Part I) -- Solutions Ley College -- For AMATYC SML Mth Competitio Cochig Sessios v.., [/7/00] sme s /6/009 versio, with presettio improvemets Numbers Prt I) -- Solutios. The equtio b c 008 hs solutio i which, b, c re distict

More information

10.5 Power Series. In this section, we are going to start talking about power series. A power series is a series of the form

10.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 information

Applications of Regular Closure

Applications 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 information

Reversing the Arithmetic mean Geometric mean inequality

Reversing the Arithmetic mean Geometric mean inequality Reversig the Arithmetic me Geometric me iequlity Tie Lm Nguye Abstrct I this pper we discuss some iequlities which re obtied by ddig o-egtive expressio to oe of the sides of the AM-GM iequlity I this wy

More information

Error-free compression

Error-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

is infinite. The converse is proved similarly, and the last statement of the theorem is clear too.

is 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 information

, we would have a series, designated as + j 1

, we would have a series, designated as + j 1 Clculus sectio 9. Ifiite Series otes by Ti Pilchowski A sequece { } cosists of ordered set of ubers. If we were to begi ddig the ubers of sequece together s we would hve series desigted s. Ech iteredite

More information

The limit comparison test

The limit comparison test Roerto s Notes o Ifiite Series Chpter : Covergece tests Sectio 4 The limit compriso test Wht you eed to kow lredy: Bsics of series d direct compriso test. Wht you c ler here: Aother compriso test tht does

More information

M3P14 EXAMPLE SHEET 1 SOLUTIONS

M3P14 EXAMPLE SHEET 1 SOLUTIONS M3P14 EXAMPLE SHEET 1 SOLUTIONS 1. Show tht for, b, d itegers, we hve (d, db) = d(, b). Sice (, b) divides both d b, d(, b) divides both d d db, d hece divides (d, db). O the other hd, there exist m d

More information

f(bx) dx = f dx = dx l dx f(0) log b x a + l log b a 2ɛ log b a.

f(bx) dx = f dx = dx l dx f(0) log b x a + l log b a 2ɛ log b a. Eercise 5 For y < A < B, we hve B A f fb B d = = A B A f d f d For y ɛ >, there re N > δ >, such tht d The for y < A < δ d B > N, we hve ba f d f A bb f d l By ba A A B A bb ba fb d f d = ba < m{, b}δ

More information

The Elementary Arithmetic Operators of Continued Fraction

The 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 information

Chapter 11 Design of State Variable Feedback Systems

Chapter 11 Design of State Variable Feedback Systems Chpter Desig of Stte Vrible Feedbck Systems This chpter dels with the desig of cotrollers utilizig stte feedbck We will cosider three mjor subjects: Cotrollbility d observbility d the the procedure for

More information

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

Approximate Integration

Approximate Integration Study Sheet (7.7) Approimte Itegrtio I this sectio, we will ler: How to fid pproimte vlues of defiite itegrls. There re two situtios i which it is impossile to fid the ect vlue of defiite itegrl. Situtio:

More information

Minimal DFA. minimal DFA for L starting from any other

Minimal DFA. minimal DFA for L starting from any other Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA

More information

Strong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation

Strong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation Strong Bisimultion Overview Actions Lbeled trnsition system Trnsition semntics Simultion Bisimultion References Robin Milner, Communiction nd Concurrency Robin Milner, Communicting nd Mobil Systems 32

More information

Data Compression Techniques (Spring 2012) Model Solutions for Exercise 4

Data Compression Techniques (Spring 2012) Model Solutions for Exercise 4 58487 Dt Compressio Tehiques (Sprig 0) Moel Solutios for Exerise 4 If you hve y fee or orretios, plese ott jro.lo t s.helsii.fi.. Prolem: Let T = Σ = {,,, }. Eoe T usig ptive Huffm oig. Solutio: R 4 U

More information

FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING. Lectures

FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING. Lectures FACULTY OF MATHEMATICAL STUDIES MATHEMATICS FOR PART I ENGINEERING Lectures MODULE 0 FURTHER CALCULUS II. Sequeces d series. Rolle s theorem d me vlue theorems 3. Tlor s d Mcluri s theorems 4. L Hopitl

More information

Lecture 09: Myhill-Nerode Theorem

Lecture 09: Myhill-Nerode Theorem CS 373: Theory of Computtion Mdhusudn Prthsrthy Lecture 09: Myhill-Nerode Theorem 16 Ferury 2010 In this lecture, we will see tht every lnguge hs unique miniml DFA We will see this fct from two perspectives

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.

,... 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 information

CS 331 Design and Analysis of Algorithms. -- Divide and Conquer. Dr. Daisy Tang

CS 331 Design and Analysis of Algorithms. -- Divide and Conquer. Dr. Daisy Tang CS 33 Desig d Alysis of Algorithms -- Divide d Coquer Dr. Disy Tg Divide-Ad-Coquer Geerl ide: Divide problem ito subproblems of the sme id; solve subproblems usig the sme pproh, d ombie prtil solutios,

More information

The Exponential Function

The Exponential Function The Epoetil Fuctio Defiitio: A epoetil fuctio with bse is defied s P for some costt P where 0 d. The most frequetly used bse for epoetil fuctio is the fmous umber e.788... E.: It hs bee foud tht oyge cosumptio

More information

Convergence rates of approximate sums of Riemann integrals

Convergence rates of approximate sums of Riemann integrals Covergece rtes of pproximte sums of Riem itegrls Hiroyuki Tski Grdute School of Pure d Applied Sciece, Uiversity of Tsuku Tsuku Irki 5-857 Jp tski@mth.tsuku.c.jp Keywords : covergece rte; Riem sum; Riem

More information

Test Info. Test may change slightly.

Test Info. Test may change slightly. 9. 9.6 Test Ifo Test my chge slightly. Short swer (0 questios 6 poits ech) o Must choose your ow test o Tests my oly be used oce o Tests/types you re resposible for: Geometric (kow sum) Telescopig (kow

More information

More on automata. Michael George. March 24 April 7, 2014

More on automata. Michael George. March 24 April 7, 2014 More on utomt Michel George Mrch 24 April 7, 2014 1 Automt constructions Now tht we hve forml model of mchine, it is useful to mke some generl constructions. 1.1 DFA Union / Product construction Suppose

More information

2.1.1 Definition The Z-transform of a sequence x [n] is simply defined as (2.1) X re x k re x k r

2.1.1 Definition The Z-transform of a sequence x [n] is simply defined as (2.1) X re x k re x k r Z-Trsforms. INTRODUCTION TO Z-TRANSFORM The Z-trsform is coveiet d vluble tool for represetig, lyig d desigig discrete-time sigls d systems. It plys similr role i discrete-time systems to tht which Lplce

More information

FOURIER 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 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 information

RULES FOR MANIPULATING SURDS b. This is the addition law of surds with the same radicals. (ii)

RULES FOR MANIPULATING SURDS b. This is the addition law of surds with the same radicals. (ii) SURDS Defiitio : Ay umer which c e expressed s quotiet m of two itegers ( 0 ), is clled rtiol umer. Ay rel umer which is ot rtiol is clled irrtiol. Irrtiol umers which re i the form of roots re clled surds.

More information

Discrete Mathematics I Tutorial 12

Discrete 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 information

Harvard University Computer Science 121 Midterm October 23, 2012

Harvard University Computer Science 121 Midterm October 23, 2012 Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closed-ook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is

More information

(II.G) PRIME POWER MODULI AND POWER RESIDUES

(II.G) PRIME POWER MODULI AND POWER RESIDUES II.G PRIME POWER MODULI AND POWER RESIDUES I II.C, we used the Chiese Remider Theorem to reduce cogrueces modulo m r i i to cogrueces modulo r i i. For exmles d roblems, we stuck with r i 1 becuse we hd

More information

1 Online Learning and Regret Minimization

1 Online Learning and Regret Minimization 2.997 Decision-Mking in Lrge-Scle Systems My 10 MIT, Spring 2004 Hndout #29 Lecture Note 24 1 Online Lerning nd Regret Minimiztion In this lecture, we consider the problem of sequentil decision mking in

More information

A GENERALIZATION OF GAUSS THEOREM ON QUADRATIC FORMS

A 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 information

 n. A Very Interesting Example + + = d. + x3. + 5x4. math 131 power series, part ii 7. One of the first power series we examined was. 2!

 n. A Very Interesting Example + + = d. + x3. + 5x4. math 131 power series, part ii 7. One of the first power series we examined was. 2! mth power series, prt ii 7 A Very Iterestig Emple Oe of the first power series we emied ws! + +! + + +!! + I Emple 58 we used the rtio test to show tht the itervl of covergece ws (, ) Sice the series coverges

More information

Sequence and Series of Functions

Sequence and Series of Functions 6 Sequece d Series of Fuctios 6. Sequece of Fuctios 6.. Poitwise Covergece d Uiform Covergece Let J be itervl i R. Defiitio 6. For ech N, suppose fuctio f : J R is give. The we sy tht sequece (f ) of fuctios

More information