Alapfogalmak az algoritmusok elmélete - Negyedik rész - Az algoritmusok elmélete
Az az elképzelés, az alfabetikus operátor rendkívül gyakori. Számára valóban csökken, vagy csökkenteni lehet bármilyen átalakítása dolgozza fel az információt, mint szimbólumok az ábécé összefüggésbe hozható tárgyakat önkényesek. A lényeg az, hogy ezek száma tárgyakat lehet véges.
Az alapja az elmélet alfabetikus üzemeltetők eljárásokat munkájukat. Ha a domain alfabetikus operátor véges, az üzemeltető lehet adni egy megfelelő táblázatot. A bal oldali oszlopban az e tábla van írva minden szava tartozó domain a szolgáltató fogalmának a jobb - kimeneti szavak alkalmazásából eredő az üzemeltető minden szót a bal oldali oszlopban az asztalra.
Abban az esetben, végtelen domain a alfabetikus üzemeltetőt, hogy adjon meg a táblázat segítségével nem lehetséges. Ebben az esetben az üzemeltető megkapja a szabályokat a rendszer pi. amely lehetővé teszi a véges számú lépés, hogy megtalálják a kimeneti szó megfelelő bármilyen bemeneti szót a domain a helység alfabetikus operátor.
A hivatalos meghatározása az algoritmus
Fogalma algoritmusok matematikai kifejezéseket az ismertetett 1930 - 1940-es, amikor a feltételek már keresett, amelynek segítségével bizonyulhat megoldhatóságának a probléma vagy problémák általában automatikusan igazolást matematikai tételek. Három fő típusa algoritmikus modellek. Az első koncepció az algoritmus kapcsolódó kiszámítható numerikus funkciókat. A második algoritmus kerül bemutatásra, mint egy univerzális eszköz végrehajtására képes egy sor egyszerű műveletek (például egy Turing-gép). A harmadik típus alapja a korábban meghatározott feltételek absztrakt ábécé és a levelezés a szavak között az ábécé, hogy formálisan leírja az információ lehetővé teszi átalakítási eljárások.
Mint már említettük, az alfabetikus szereplők szerkezetileg meghatározott véges rendszer szabályai algoritmusok. Emlékeztetni kell arra, hogy a fogalom alfabetikus üzemben önmagában lényegében csak lehetséges kialakítani a bemeneti és kimeneti szavak, mint az algoritmus a legfontosabb módja annak, hogy meghatározza megfelelő beállításhoz. Tehát két alfabetikus szereplő tekinthető egyenlőnek, ha ugyanazt a domaint, és összehasonlítottuk az adott bemeneti szó a területen azonos kimeneteket.
Két algoritmusok tekinthető egyenlőnek, ha azok egyenlőek a megfelelő alfabetikus üzemeltetők és az azonos szabályrendszer, amely meghatározza működésének ezeket az algoritmusokat a bemeneti szavakat, és egyenértékűek, ha azok azonos alfabetikus szereplők, de nem ugyanúgy beállítási őket.
Bármilyen algoritmus bármilyen bemeneti szó társult csak egy kimeneti szó. Ez az egyik alapvető tulajdonságait az algoritmus - formalitás. Egyébként ez a tulajdonság nevezik determinizmus vagy egyediségét.
További ingatlanok az algoritmus masszív és hatékony.
A hatékonyság az algoritmus - az ingatlan az algoritmus, hogy a kapott eredmények véges számú lépésben. Más szóval, ha valaki tartozó domain szavak algoritmus után véges számú lépés lesz összehasonlítani a kapott szót, azt a teljesítmény tulajdonságait.
milyen hatással van a tulajdonság meghatározza alkalmazási területén az algoritmus. Az alkalmazási területei a szavak halmazát, melyek rezultativen algoritmus. Ezután a masszát az algoritmus - ez esetben az egész terület definíciója.
Ebben az esetben a egyenértékűségét algoritmusok lehet meghatározni a következőképpen: két egyenértékű algoritmusok. ha azok megegyeznek a domain az alkalmazhatóság és az eredmények feldolgozásának bármelyik szó erről a területről. Ha a domain alkalmazhatóságának ugyanabban a részében, az algoritmusok nevezik gyengén egyenértékű.