1 Sorozatszmts Specifikci a vgleges Bemenet ELTE N
1. Sorozatszámítás Specifikáció (a végleges): Ø Bemenet: ELTE N: Egész, X: Tömb[1. . N: Valami] Ø Kimenet: S: Valami Ø Előfeltétel: N 0 Ø Utófeltétel: S=F(X[1. . N]) Ø Definíció: Szlávi - Zsakó: Programozási alapismeretek 5. /48
1. Sorozatszámítás Algoritmus: S: =F 0 i=1. . N S: =f(S, X[i]) ELTE esetén: Szum(X[1. . N]): = S: =0 i=1. . N S: =S+S[i] Szlávi - Zsakó: Programozási alapismeretek 5. /48
2. Eldöntés Specifikáció: Ø Bemenet: ELTE N: Egész, X: Tömb[1. . N: Valami] Ø Kimenet: Van: Logikai Ø Előfeltétel: N 0 Ø Utófeltétel: Van= i(1 i N): T(X[i]) Megjegyzés: A T tulajdonság egy logikai függvényként adható meg. Minden elemről megvizsgálható, hogy ren-delkezik-e az adott tulajdonsággal. Szlávi - Zsakó: Programozási alapismeretek 5. /48
2. Eldöntés Algoritmus 1: i: =1 ELTE i N és nem T(X[i]) i: =i+1 Van: =i N Algoritmus 2: i: =0 Van: =Hamis i<N és nem Van i: =i+1 Van: =T(X[i]) Szlávi - Zsakó: Programozási alapismeretek 5. /48
3. Kiválasztás Specifikáció: Ø Bemenet: ELTE N: Egész, X: Tömb[1. . N: Valami] Ø Kimenet: S: Egész Ø Előfeltétel: N>0 és i (1 i N): T(X[i]) Ø Utófeltétel: 1 S N és T(X[S]) Megjegyzés: A T tulajdonság egy logikai függvényként adható meg, minden elemről megtudható, hogy rendelke-zik-e az adott tulajdonsággal. Szlávi - Zsakó: Programozási alapismeretek 5. /48
3. Kiválasztás Algoritmus: i: =1 ELTE nem T(X[i]) i: =i+1 S: =i Megjegyzés: Többlet tudás: a megoldás az első adott tulajdon-ságú elemet adja meg – a program tudhat többet annál, mint amit várunk tőle. Hogy kellene az utolsót megadni? Szlávi - Zsakó: Programozási alapismeretek 5. /48
- Slides: 6