የመደበኛ ሰዋሰው ጽንሰ-ሐሳብ. መደበኛ ሰዋሰው እና ባህሪያቸው

<число> => <чс> => <чс><цифра> => <чс><1>ዝርዝር 10.13.

ስለዚህም

<число> =>* <чс>እና<чс> =>+ <чс>1 ዝርዝር 10.14.

በተወሰነ ደረጃ ከሩሲያ ሰዋሰው ክፍልፋይ ጋር የሚመሳሰል እና አራት የሩሲያ ዓረፍተ ነገሮችን የያዘ መደበኛ ቋንቋ የሚገልጽ መደበኛ ሰዋሰውን እንመልከት። ይህ መደበኛ ሰዋሰው እንደ ዓረፍተ ነገር አባላት ወይም የንግግር ክፍሎች የሚሰሩ ክፍሎችን ይጠቀማል፡-

<предложение>

<подлежащее>

<сказуемое>

<дополнение>

<прилагательное>

<существительное>

እነዚህ ንጥረ ነገሮች የቋንቋውን አረፍተ ነገር ካካተቱት ትክክለኛ የቃላት ቃላቶች ለመለየት በማእዘን ቅንፎች ውስጥ ተዘግተዋል። በእኛ ምሳሌ፣ መዝገበ ቃላቱ የሚከተሉትን አምስት ቃላት ወይም “ገጸ-ባህሪያትን” ያካትታል፡ V= (ቤት፣ ኦክ፣ ግልጽ ያልሆነ፣ አሮጌ፣ (ነጥብ))። ሰዋሰው እነዚህን ምልክቶች በመጠቀም በቋንቋ ውስጥ ያሉ ዓረፍተ ነገሮችን እንዴት መገንባት እንደሚቻል መረጃን የያዙ የተወሰኑ ህጎች አሉት። ከእነዚህ ደንቦች ውስጥ አንዱ፡-

1. <предложение> ® <подлежащее> <сказуемое> <дополнение>.

ይህ ህግ በሚከተለው መልኩ ይተረጎማል፡- “አንድ ዓረፍተ ነገር ርዕሰ ጉዳይን፣ ከዚያም ተሳቢ፣ ከዚያም ዕቃ እና ጊዜን ሊያካትት ይችላል። በሰዋስው ውስጥ የተለየ መዋቅር ዓረፍተ ነገሮችን የሚገልጹ ሌሎች ሕጎች ሊኖሩ ይችላሉ። ሆኖም ግን, በዚህ ሰዋሰው ውስጥ እንደዚህ አይነት ህጎች የሉም. የተቀሩት ደንቦች የሚከተሉት ናቸው:

2. <подлежащее> ® <прилагательное> <существительное>

3. <дополнение> ® <прилагательное> <существительное>

4. <сказуемое>® ያደበዝዛል

5. <прилагательное>® የድሮ

6. <существительное>® ቤት

7. <существительное>® ኦክ

አንድ ዓረፍተ ነገር ለመፍጠር (ወይም ለማውጣት) ይህን ሰዋሰው እንተገብረው።

በአንቀጽ 1 መሠረት ዓረፍተ ነገሩ የሚከተለው ይመስላል-

<предложение>1®<አርዕስትሠ ><сказуемое> <дополнение> 2 →

2 →<прилагательное><существительное> <сказуемое><መደመር> 3 →

3 →<ቅጽልሠ ><существительное> <сказуемое> <прилагательное> <существительное> 4 →አሮጌ <существительное> <сказуемое> <ቅጽልሠ ><существительное>

4 →አሮጌ <существительное > <сказуемое> አሮጌ <существительное >

6.7 →አሮጌ ቤት <сказуемое> አንድ አሮጌ የኦክ ዛፍ

4 → አሮጌው ቤት በአሮጌው የኦክ ዛፍ ተሸፍኗል

ስለዚህ ፣ ዝግጁ የሆነ ፕሮፖዛል እናገኛለን-

ያረጀ ቤት በአሮጌ የኦክ ዛፍ ተሸፍኗል.

ይህ መደምደሚያ እንደ ዛፍ ሊታይ ይችላል. የውጤት ዛፉ የትኞቹ ደንቦች በተለያዩ መካከለኛ አካላት ላይ እንደተተገበሩ ያሳያል, ነገር ግን የተተገበሩበትን ቅደም ተከተል ይደብቃል. ስለዚህ, የተገኘው ሰንሰለት የመካከለኛ ንጥረ ነገሮችን መተካት በተሰራበት ቅደም ተከተል ላይ እንደማይመሰረት መገንዘብ ይቻላል. ዛፉ ነው ይላሉ "አገባብ መዋቅር"ያቀርባል.

የማመዛዘን ሀሳብ ከህጉ ጋር ተመሳሳይ የሆኑ ሌሎች የሕጎችን ትርጓሜዎች ያሳያል <подлежащее> ® <прилагательное> <существительное> . " ከማለት ይልቅ " ርዕሰ ጉዳይይህ ቅጽል, ተከትሎ ስም" ልንል እንችላለን ርዕሰ ጉዳይ"የሚነሳው" (ወይም "ከሱ የተገኘ ነው" ወይም "በሚተካው")<ቅጽል><существительное>.

ከላይ ያለውን ሰዋሰው በመጠቀም፣ ሌሎች ሶስት ዓረፍተ ነገሮችም ሊገኙ ይችላሉ፣ እነሱም፡-

አንድ አሮጌ የኦክ ዛፍ የድሮውን ቤት ይደብቃል.

የድሮው ቤት የድሮውን ቤት ያደበዝዛል።

አንድ አሮጌ የኦክ ዛፍ አሮጌውን የኦክ ዛፍ ይደብቃል.

እነዚህ ዓረፍተ ነገሮች እና ከዚህ ቀደም የተገኙት ዓረፍተ ነገሮች በሙሉ በዚህ ሰዋሰው የተፈጠሩ አረፍተ ነገሮች ናቸው።

እነዚህን አራት ዓረፍተ ነገሮች የያዘው ስብስብ ቋንቋ ይባላል፣ እሱም በተሰጠው ሰዋሰው ይገለጻል ("በእሱ የተፈጠረ" ወይም "በውስጡ የተገኘ")።

ከመደበኛ ስርአቶች አንዱ የመተካት ስርዓት ወይም ቱዌ ከፊል ስርዓት (በኖርዌይ የሂሳብ ሊቅ Axel Thue የተሰየመው) በፊደል ሀ እና የቅጹ ምትክ ስብስብ፡-

α i፣β i ቃላት ሲሆኑ፣ በ A ውስጥ ባዶ ሊሆን ይችላል፣ Þ የመተካት ምልክት ነው፣ ቀደም ሲል በእኛ የተረዳነው “አንድምታ”፣ “የተቀነሰ” ነው።

የTue ስርዓት የቅጹን ግንኙነት ይጠቀማል፡-

እንደ ጥንድ ምትክ ተረድቷል፡-

α i Ξ β i (በግራ);

β i Üα i (በስተቀኝ)።

በ Thue ከፊል ስርዓት ውስጥ፣ α i Þβ i መተካቱ እንደ የማጣቀሻ ደንብ R i ተተርጉሟል። እነዚህን ከፊል ስርዓቶች በመጠቀም በ 50 ዎቹ ውስጥ የነበረው አሜሪካዊው የሂሳብ ሊቅ ኤን ቾምስኪ ልዩ ጉዳያቸው የሆነውን መደበኛ ሰዋሰው የሚባሉትን ንድፈ ሀሳብ ፈጠረ።

V ባዶ ያልሆነ የምልክት ስብስብ ይሁን - ፊደል (ወይም መዝገበ-ቃላት) እና፣ እናም፣ በፊደል V ውስጥ ያሉት ሁሉም የተጠናቀቁ ቃላት ስብስብ V * ተሰጥቶ። . ስለዚህ, V የሩስያ ቋንቋ ፊደላትን, ሥርዓተ-ነጥብ ምልክቶችን, የጠፈር ገጸ-ባህሪያትን, ወዘተ. የያዘ ከሆነ, V * ሁሉንም ታላላቅ የሩሲያ ስነ-ጽሑፍ ስራዎችን (የተፃፈ እና የወደፊቱን) ያካተተ መላምታዊ ስብስብ ነው.

ቃላቶች፣ የሂሳብ ምልክቶች፣ የጂኦሜትሪክ ምስሎች፣ ወዘተ. እንደ ምልክትም ሊያገለግሉ ይችላሉ።

ቋንቋዎች የተገለጹ ወይም የተገለጹ ናቸው ሰዋሰው- ሁሉንም የቋንቋ ሰንሰለቶች የሚያመነጭ እና እነሱን ብቻ የሚያመነጭ የሕግ ስርዓት።

መደበኛ ሰዋሰው - መደበኛ ስርዓት, ካልኩለስ.

መደበኛ ሰዋሰው ማወቅ፣ ማመንጨት እና መለወጥ አሉ።

እውቅና መስጠት, ለማንኛውም ሕብረቁምፊ ከሆነ ይህ ሕብረቁምፊ በተሰጠው ሰዋሰው ስሜት ትክክል መሆን አለመሆኑን ይወስናል.

መደበኛ ሰዋሰው ይባላል አመንጪማንኛውንም ትክክለኛ ሰንሰለት መገንባት ከቻለ።

መደበኛ ሰዋሰው ይባላል ተለዋዋጭለማንኛውም በትክክል ከተሰራ ሰንሰለት ካርታውን በትክክለኛው ሰንሰለት ይገነባል.

የጄኔሬቲቭ መደበኛ ሰዋሰውን ክፍል አስቡበት።

የጂ አጠቃላይ መደበኛ ሰዋሰው አራት እጥፍ ነው።

ሰ= ,

የት ቲ ውሱን ባዶ ያልሆነ የተገደበ ተርሚናል (ዋና) ምልክቶች;

N - የመጨረሻ ያልሆኑ (ረዳት) ምልክቶች የመጨረሻ ባዶ ያልሆነ ስብስብ;

P ውሱን ባዶ ያልሆነ የማጣቀሻ ደንቦች ስብስብ ነው (ምርቶች);

S የመነሻ ገፀ ባህሪ ነው።

ቲ - ተርሚናል መዝገበ-ቃላት - በሰዋስው የተፈጠሩት ሰንሰለቶች የተገነቡበት የመጀመሪያ ምልክቶች ስብስብ;

N - ተርሚናል ያልሆነ መዝገበ ቃላት - የምንጭ ምልክቶች ክፍሎችን የሚያመለክቱ ረዳት ምልክቶች ስብስብ።

የተወሰነ ስብስብ የሰዋስው ጂ ሙሉ መዝገበ ቃላት ነው።

የማመሳከሪያ ደንቡ የመጨረሻ ባዶ ያልሆነ የሁለትዮሽ ግንኙነቶች ስብስብ ነው ቅጽ φÞψ, φ እና ψ በ V መዝገበ ቃላት ውስጥ ሰንሰለቶች ሲሆኑ, Þ የሚለው ምልክት "በመተካት" ነው.

ሰንሰለቱ β በቀጥታ በሰዋስው ጂ ውስጥ ካለው ሰንሰለት α (ኖቴሽን αβ ፣ ንዑስ አንቀጽ G ተወግዷል የትኛው ሰዋስው እንደምንነጋገር ግልጽ ከሆነ) ).

ሰንሰለቱ β ከ α የሚቀነሰው ተከታታይ ከሆነ E 0 =α, E 1,E 2,...,E n =β, እንደ "i =0,1,...,n-1 E i => ኢ i +1.

ይህ ቅደም ተከተል ከ α የሚወጣውን β ይባላል, እና n የውጤቱ ርዝመት ነው.

የ β ከ α መቀነስ በ α=> n β (የመነሻውን ርዝመት መግለጽ ከፈለጉ) ይገለጻል.

በሰዋሰው ጂ የመነጨው ቋንቋ L(G) በተርሚናል መዝገበ ቃላት ቲ ከኤስ የተገኘ የሕብረቁምፊ ስብስብ ሲሆን S ይህ ሰዋስው የታሰበበትን የቋንቋ ዕቃዎች ክፍል የሚያመለክት የመጀመሪያ ምልክት ነው። የመነሻ ምልክት የሰዋስው ግብ ወይም የእሱ አክሱም ይባላል።

ሰዋሰው G እና G 1 እኩል ናቸው L(G)=L(G 1)።

የተፈጥሮ ቋንቋን ከመደበኛ ሰዋሰው ንድፈ ሐሳብ አንጻር ሲገልጹ, የተርሚናል ምልክቶች እንደ ቃላት ወይም ሞርፊሞች - ትንሹ ትርጉም ያለው የቋንቋ ክፍሎች (ሥሮች, ቅጥያዎች, ወዘተ.), የመጨረሻ ያልሆኑ ምልክቶች - እንደ የቃላት ክፍሎች ስሞች እና ሀረጎች (ርዕሰ-ጉዳይ ፣ ተሳቢ ፣ ተሳቢ ቡድን ፣ ወዘተ. ፒ)። የቁምፊዎች ሕብረቁምፊ ብዙውን ጊዜ እንደ ተፈጥሯዊ ቋንቋ ዓረፍተ ነገር ይተረጎማል።

ምሳሌ 1. ሰዋሰው እንደሚከተለው ይሰጥ።

ቲ- (a፣b)፣ N-(S፣A፣B)፣ S-S፣

P=(1. SÞaB; 2.SÞbA; 3. AÞaS; 4. AÞbAA; 5. AÞa; 6.BÞbS; 7. BÞaBB; 8. BÞb).

የተለመዱ የውሳኔ ሃሳቦች መደምደሚያዎች፡-

ጥቅም ላይ የዋለው የማመሳከሪያ ደንብ ቁጥር ከቀስቶች በላይ በቅንፍ ውስጥ ይገለጻል. ውጤቱ ያበቃል ምክንያቱም በግራ በኩል ከ ab ጋር እኩል የሆነ P ምንም ደንብ የለም.

የእንደዚህ አይነት አመንጪ ሰዋሰው ግራፍ በስእል ውስጥ ይታያል. 125.

ሩዝ. 125. የትውልድ ሰዋሰው ግራፍ

እዚህ ሀ እና b የመጨረሻ ጫፎች (ተርሚናል) ናቸው።

ምሳሌ 2. ሰዋሰው እንደሚከተለው ይሰጥ።

ቲ=(<студент>, <прилежный>, <ленивый>, <выполняет>, <не выполняет>, <домашнее задание>};

N=(<сказуемое>, <подлежащее>, <определение>, <дополнение>, <группа подлежащего>, <группа сказуемого>, <предложение>};

ሰንሰለቱን ማውጣት ይችላሉ<прилежный> <студент> <выполняет> <домашнее задание>.

በግልጽ ለማየት እንደሚቻለው, የመጨረሻው የግንዛቤ ሰንሰለት የመጨረሻ ነው እና የተፈጥሮ ቋንቋ ዓረፍተ ነገርን ይወክላል. በተመሳሳይ, ሰንሰለቱን ማግኘት ይችላሉ<ленивый> <студент> <не выполняет> <домашнее задание>. በዚህ ምሳሌ ውስጥ ተርሚናል ያልሆኑ ምልክቶች የአገባብ ምድቦች መሆናቸውን ልብ ይበሉ።

ውጤቱም በምስል ላይ በሚታየው የመዋቅር ዛፍ ተብሎ በሚጠራው ሊገለጽ ይችላል. 126.

ሩዝ. 126. የአረፍተ ነገር ውፅዓት መዋቅራዊ ዛፍ

ሰዋሰው ደግሞ Wirth syntactic ዲያግራም በሚባሉት ሊገለጽ ይችላል - እንደ ፓስካል ቋንቋ ፣ ተከታታይ ግንኙነት ሰንሰለትን የሚያመለክት የመቀየሪያ ወረዳዎችን ይመስላል ፣ እና ትይዩ ግንኙነት የሰንሰለቶችን ልዩነቶች ያሳያል - ከምልክት ይልቅ።

ስለዚህ፣ መደበኛ ሰዋሰው ማወቅ፣ ማመንጨት፣ መለወጥ ይችላሉ። በተጨማሪም፣ በመደበኛ ሰዋሰው ንድፈ ሐሳብ፣ በአራት ዓይነት ሰዋሰው የተፈጠሩ አራት ዓይነት ቋንቋዎች አሉ። ሰዋሰው የሚለዩት በተከታታይ እየጨመረ የሚሄደውን ገደቦችን በመተግበር ነው አር.

በአጠቃላይ ተቀባይነት ያለው የሰዋሰው እና የሚያመነጩት ቋንቋዎች አራት አይነት ሰዋሰውን የያዘው የቾምስኪ ተዋረድ ነው።

ዓይነት 0 ሰዋሰውሰዋሰው ነው በ jÞy ደንቦች ላይ ምንም ገደብ ያልተጣለበት, j እና y ከ V ማንኛውም ሕብረቁምፊዎች ሊሆኑ ይችላሉ. እንዲህ ዓይነቱ ሰዋሰው በቱሪንግ ማሽን ሊተገበር ይችላል. በዚህ ሁኔታ የቱሪንግ ማሽን ሁኔታ ከማይቆሙ (ረዳት) ምልክቶች ጋር ይዛመዳል, እና በቴፕ ላይ ያሉት ምልክቶች ከተርሚናል ጋር ይዛመዳሉ. ሰንሰለቶችን የማመንጨት ደንቦች በትእዛዞች ስርዓት ተገልጸዋል.

ሰዋሰው ይተይቡ 1 ሰዋሰው ነው፣ ሁሉም ደንቦቹ aАbÞawb ቅጽ አላቸው፣ wÎТUN፣ ሀ የመጨረሻ ያልሆነ ምልክት ነው። ሰንሰለቶች a እና b የሕጎቹ አውድ ናቸው። ጥቅም ላይ ሲውል አይለወጡም. ስለዚህ፣ በ 1 ዓይነት ሰዋሰው፣ አንድ ነጠላ ተርሚናል ምልክት ሀ ወደ ባዶ ያልሆነ ሕብረቁምፊ ይገባል w (A በ w ሊተካ ይችላል) በ ሀ እና ለ አውድ ውስጥ ብቻ። ዓይነት 1 ሰዋሰው አውድ-sensitive ወይም context-sensitive ይባላሉ።

ዓይነት 2 ሰዋሰውሰዋሰው ነው የ AÞa ቅጽ ደንቦች ብቻ የሚፈቀዱበት፣ የት aÎТUN፣ i.e. a ባዶ ያልሆነ የ V ሰንሰለት ነው። 2 ዓይነት ሰዋሰው ከአውድ-ነጻ ወይም ከአውድ-ነጻ ይባላሉ። ዘመናዊ አልጎሪዝም ቋንቋዎች ከአውድ-ነጻ ሰዋሰው በመጠቀም ይገለፃሉ።

ሰዋሰው ይተይቡ 3 - АÞaB, ወይም AÞb, የት А,ВОN; ትንሽ.

እዚህ A፣B፣a፣b የተጓዳኝ መዝገበ ቃላት ነጠላ ቁምፊዎች (ሰንሰለቶች አይደሉም) ናቸው። በዚህ ዓይነት ሰዋሰው የተገለጹ ቋንቋዎች ይባላሉ አውቶማቲክ ወይም መደበኛ.

በዚህ አጋጣሚ የቅጹ መደበኛ አገላለጽ ቋንቋ (መደበኛ ቋንቋ) ጥቅም ላይ ይውላል፡-

እንዲህ ዓይነቱ ቋንቋ በተጠናቀቀ አውቶሜትድ (Kleene's theorem) ይሰጣል. በአብዛኛዎቹ አልጎሪዝም ቋንቋዎች፣ አገላለጾች የሚገለጹት ውስን ግዛት ማሽኖችን ወይም መደበኛ መግለጫዎችን በመጠቀም ነው።

መደበኛ ቋንቋን በመጨረሻ ማሽን የመግለጽ ምሳሌን እንመልከት፡-

X = (0,1) - የግቤት ምልክቶች ስብስብ;

Y=(S,A,B,q k) - የውስጥ ግዛቶች ስብስብ, q k - የመጨረሻ ሁኔታ, S - የመጀመሪያ ሁኔታ.

አንዳንድ ጊዜ በርካታ የመጨረሻ ግዛቶች ተቆጥረው ወደ ስብስብ F. በዚህ ሁኔታ F = (q k) ውስጥ ይጣመራሉ.

j፡ የሽግግር ተግባር - የማይወሰን፡

የአንድ የተወሰነ የማይወሰን አውቶሜት ሽግግር ግራፍ በምስል ላይ ይታያል። 127.

ሩዝ. 127. ውሱን የማይታወቅ አውቶሜትድ የሽግግር ግራፍ

ተዛማጁ የትውልድ ሰዋሰው፡-

መደበኛ ቋንቋ L= :

0, 010, 01010,...

የመደበኛ ሰዋሰው ንድፈ ሐሳብ በአቀነባባሪዎች ግንባታ ውስጥ ጥቅም ላይ ይውላል. አቀናባሪው የምንጭ ፕሮግራሙን ይተነትናል። በተመሳሳይ ጊዜ, የተሰጠው የቁምፊዎች ሰንሰለት በትክክል የተገነባ ዓረፍተ ነገር እንደሆነ ይወሰናል, እና ከሆነ, ቅርጹ ወደነበረበት ይመለሳል. የመተንተን ወይም የአገባብ ትንተና የሚከናወነው በልዩ ፕሮግራም - ተንታኝ (ለመተንተን - መተንተን) ነው። ይህንን ችግር ለመፍታት ልዩ ፕሮግራሞች ተዘጋጅተዋል, ለምሳሌ, LEX እና YACC.

የ UNIX ስርዓተ ክወና መደበኛ ፕሮግራሞች LEX እና GREP አሉት - እነሱ በመደበኛ የቋንቋ ንድፈ ሃሳብ መሰረት የተገነቡ ናቸው.

የ LEX ፕሮግራም የጽሑፍ መዝገበ-ቃላቶችን ያካሂዳል - በተወሰነ የመደበኛ መግለጫዎች ስብስብ መሠረት ጽሑፍን ይሰብራል።

የ GREP ፕሮግራም - በመደበኛ አገላለጽ በመጠቀም ስርዓተ-ጥለት ይመርጣል - ማለትም. ከግቤት ምልክቱ ጅረት የሚመጡ ምልክቶች የሚመገቡበትን ውሱን ግዛት ማሽን በመገንባት በአንድ ወይም በብዙ ፋይሎች ውስጥ አውድ ፍለጋን ያካሂዳል።

በአውቶማቲክ የትርጉም ስርዓቶች ውስጥ ከአንድ ቋንቋ ወደ ሌላ, ርዕሰ ጉዳዩ, ተሳቢ, ፍቺ እና ማሟያ ተለይተው ይታወቃሉ; ከዚያም በሚፈለገው ቋንቋ ህግ መሰረት ተጓዳኝ ፕሮፖዛል ይዘጋጃል።

በአሁኑ ጊዜ ኮምፒውተሮች እንደ ፕሮምት፣ Magic Gooddy፣ Socrat Personal የመሳሰሉ ተርጓሚዎችን ይጠቀማሉ። በተጨማሪም ቀላል መዝገበ-ቃላት ጥቅም ላይ ይውላሉ, ለምሳሌ .Context, Socrat Dictionary, MultiLex.

መደበኛ ሰዋሰውን በመጠቀም የቋንቋ ዕውቀትን መወከል በአጠቃላይ የእውቀት ውክልና ሞዴሎች አንዱ ነው ፣ በዚህ አካባቢ እንደ ሰው ሰራሽ የማሰብ ችሎታ አካላት ያሉ ስርዓቶች ጥቅም ላይ ይውላሉ። ዕውቀት ከመረጃ እንደሚለይ ልብ ሊባል ይገባል ፣ ለምሳሌ ፣ መረጃ ትርጉም ባለው መልኩ የሚተረጎመው በተዛማጅ የኮምፒተር ፕሮግራም ብቻ ነው ፣ እና በእውቀት ውስጥ ትርጉም ያለው የትርጓሜ ዕድል ሁል ጊዜ አለ። በተፈጥሮ ወይም በተፈጥሮ ቋንቋ ከተጠቃሚው ጋር በይነገጽ የሚያቀርቡት የስርዓቶች ሶፍትዌር እና ሃርድዌር ክፍል ተተግብሯል። የቋንቋ ፕሮሰሰርኮምፒዩተሩ በሚሠራበት ውስጣዊ ውክልና ውስጥ የተፈጥሮ ቋንቋ ጽሑፎችን ወደ መደበኛ ቋንቋ በቀጥታ እና በተገላቢጦሽ መተርጎም ሥራው ነው።

በጃፓን አንዳንድ ኩባንያዎች ከባለቤቱ ጋር መገናኘት የሚችሉ የቤት ውስጥ "የንግግር" ሮቦቶችን መሸጥ ጀምረዋል.

የቋንቋ ፕሮሰሰር ገላጭ እና የሂደት ክፍሎች አሉት። የመጀመሪያው የመዝገበ-ቃላትን መግለጫ ይይዛል, ሁለተኛው - የተፈጥሮ ቋንቋ ጽሑፎችን ለመተንተን እና ለማዋሃድ ስልተ-ቀመር.

ለእውቀት ውክልና አመክንዮአዊ ሞዴሎች ቀድሞውኑ ለእኛ የፕሮፖዚየሞች እና ትንበያዎች ስሌት ይታወቃሉ።

ስለ አንድ የተወሰነ ርዕሰ ጉዳይ የትርጉም (notional) እውቀትን መደበኛ ለማድረግ መሠረቱ የትርጉም አውታረ መረቦች የሚባሉት ናቸው። የትርጉም አውታረመረብ የሚመራ ግራፍ ነው, ጫፎቹ ከተወሰኑ ነገሮች ጋር የተቆራኙ ናቸው, እና ቅስቶች በመካከላቸው ከትርጉም ግንኙነቶች ጋር የተቆራኙ ናቸው. የቬርቴክስ መለያዎች በባህሪያቸው ማጣቀሻዎች ናቸው እና የተወሰኑ ስሞችን ይወክላሉ። የስሞች ሚና ለምሳሌ የተፈጥሮ ቋንቋ ቃላት ሊሆን ይችላል. አርክ መለያዎች የግንኙነቶች ስብስብ ክፍሎችን ያመለክታሉ። በተጨማሪም፣ ፍሬሞች እውቀትን ለመወከል ጥቅም ላይ ይውላሉ፣ እነዚህም ብዙውን ጊዜ የተዛባ ሁኔታዎችን ለመወከል እንደ የውሂብ መዋቅር ይገለጻሉ።

የጎደል ጽንሰ-ሀሳቦች

በሒሳብ አመክንዮ ተሳቢ ካልኩለስ ወጥነት ያለው መሆኑ ተረጋግጧል - ማለትም። በአንድ ጊዜ ለማሳየት የማይቻል ነው, እና . በተጨማሪም፣ በጎደል ቲዎሬም ስለ ተሳቢ ካልኩለስ ሙሉነት፣ በአጠቃላይ ተቀባይነት ያለው ቀመር በተሳቢ ካልኩለስ ውስጥ ተቀናሽ ይሆናል።

የታሰበው ተሳቢ ካልኩለስ የመጀመሪያ ደረጃ ተሳቢ ስሌት ነው። በሁለተኛ ደረጃ ካልኩለስ ውስጥ ፣ ኳንቲፊየሮች በተሳቢዎች ሊኖሩ ይችላሉ ፣ ማለትም። የቅጹ መግለጫዎች "P (P (x))) ፣ ወይም በተግባሮች።

ስለዚህ፣ የሁሉም እውነተኛ የአስተያየት አመክንዮ መግለጫዎች ስብስብ ሊቆጠር የሚችል እና ሊወሰን የሚችል ነው። የሁሉም እውነተኛ የአመክንዮ አመክንዮ መግለጫዎች ስብስብ ሊቆጠር የሚችል ነው (በሙሉነቱ ምክንያት) ፣ ግን ሊወሰን የማይችል (በርዕሰ-ጉዳዩ ስፋት ምክንያት)።

በሒሳብ አመክንዮ ውስጥ እንደ ሌላ መደበኛ ንድፈ ሐሳብ፣ በጣሊያን የሒሳብ ሊቅ ጁሴፔ ፒያኖ (1858-1932) የቀረበው መደበኛ ስሌት ተብሎ የሚጠራው ግምት ውስጥ ይገባል። Peano ምልክቶችን እና ኦፕሬሽኖችን አስተዋውቋል O, U, I እና አመክንዮ እንደ የሂሳብ ዲሲፕሊን ያቀረበው የመጀመሪያው ነው። የመጀመሪያ ሙከራ ሂሳብን ወደ አመክንዮ ለመቀነስ የተደረገው በጀርመናዊው የሂሳብ ሊቅ እና አመክንዮ ጎትሊብ ፍሬጅ (1848-1925) ነው። ስብስብን የፅንሰ-ሃሳብ መጠን አድርጎ የገለፀው እሱ ነው። “አርቲሜቲክስ የአመክንዮ አካል ነው እና ከተሞክሮም ሆነ ከማሰላሰል ምንም አይነት የማስረጃ መሰረት መወሰድ የለበትም” ሲል ጽፏል። ስለ ሁሉም ስብስቦች ስብስብ ታዋቂው አያዎ (ፓራዶክስ) በበርትራንድ ራስል ተለይቶ በተገለጸው የፍሬጅ ስርዓት ውስጥ ተቃርኖ ነው።

ጎደል የትኛውም መደበኛ ቲዎሪ መደበኛ የሂሳብ ስሌትን የያዘ ያልተሟላ መሆኑን አረጋግጧል፡ የተዘጋ ፎርሙላ F እንደያዘ እውነት ነው፣ ነገር ግን F ወይም በቲ ሊገኙ አይችሉም። የቲ ወጥነትን የሚገልጽ ቀመር በቲ.

ስለዚህ፣ የሂሳብ እና የቁጥር ፅንሰ-ሀሳብ ሊተገበሩ የማይችሉ ንድፈ ሐሳቦች ናቸው፣ እና የሁሉም እውነተኛ የሂሳብ መግለጫዎች ስብስብ የማይቆጠር ነው።

የጎደል ጽንሰ-ሀሳቦች ጠቃሚ ዘዴያዊ ጠቀሜታ አላቸው። በበቂ ሁኔታ የበለጸጉ የሂሳብ ንድፈ ሐሳቦች በቂ ፎርማላይዜሽን የሌሉበት ሆኖ ተገኝቷል። እውነት ነው፣ ማንኛውም ያልተሟላ ቲዎሪ እንደ አክሱም በቲ ውስጥ እውነት የሆነ ነገር ግን በቲ የማይገኝ ፎርሙላ በመጨመር ሊሰፋ ይችላል። በተጨማሪም, የንድፈ ሃሳቡን ዘይቤዎች በራሱ የመደበኛ ንድፈ ሃሳብ ዘዴዎችን በመጠቀም ማጥናት የማይቻል ነው, ማለትም. ማንኛውም ዘይቤ ቲ፣ ቢያንስ ወጥነት ያለው መሆኑን ለማረጋገጥ ከቲ የበለፀገ መሆን አለበት።

ስለዚህ፣ ሒሳብን እንደ አንድ የተወሰነ ቋሚ የመገልገያ ዘዴ የመገንባቱ አካሄድ፣ ብቸኛው ህጋዊ ሊባል የሚችል እና በእነሱ እርዳታ የማንኛውም ንድፈ-ሀሳቦችን ሜታቲዎሪዎችን ለመገንባት ያለው አካሄድ ጥያቄ ውስጥ ይገባል። ግን ይህ በፍፁም የመደበኛው አቀራረብ ውድቀት አይደለም። የማይሟሟ ችግሮች መኖራቸው ገንቢ አካሄድ ተስማሚ አይደለም ማለት አይደለም፤ አንድን ነገር ማድረግ ካልቻለ ማንም ሊሰራው ስለማይችል ብቻ ነው።

በተጨባጭ የተገለጹ ጽንሰ-ሀሳቦችን ሙሉ በሙሉ መደበኛ ማድረግ የማይቻልበት ሁኔታ የፅንሰ-ሀሳብ እጥረት ሳይሆን በማንኛውም ፅንሰ-ሀሳብ ሊወገድ የማይችል ተጨባጭ እውነታ ነው።

በቂ የሆነ የንድፈ ሀሳቡን መደበኛ አሰራር ማድረግ አለመቻል ማለት አንድም ሊሰሩ የሚችሉ ፍርስራሾችን መፈለግ ወይም ጠንከር ያለ መደበኛ ፅንሰ-ሀሳብ መገንባት አለበት ፣ ሆኖም ፣ እንደገና ያልተሟላ ፣ ግን ምናልባት ፣ ሙሉውን ኦሪጅናል ፅንሰ-ሀሳብ ይይዛል።

ክላሲካል ያልሆኑ አመክንዮዎች

መግቢያ ………………………………………………………………………………….4

ምዕራፍ 1. ቋንቋዎች እና ሰዋሰው. ምልክቶች፣ ትርጓሜዎች እና ምደባ………………………………………………………………………………6

1.1. የቋንቋ ሰዋሰው ጽንሰ-ሐሳብ. ስያሜዎች ………………………………………………………………… 7

1.2. በ Chomsky መሠረት የሰዋሰው ምደባ …………………………………………………………………………………………………………….13

1.3. KS- እና A-grammarsን ለመገንባት ቴክኒኮች …………………………………………………………………………………………………

1.4. በKS-grammars ውስጥ የአገባብ ማጣቀሻ ዛፎች። አፈጻጸም

A-grammar በግዛት ግራፍ መልክ። የሰዋስው አሻሚነት………………………19

1.5. የ A-ቋንቋዎች አገባብ ትንተና ………………………………………………………………….23

መልመጃዎች ………………………………………………………………………………………………………….29

ምዕራፍ 2. እውቅና ሰጪዎች እና ማሽኖች.……………………………….….…………32

ምዕራፍ 3. አውቶማቲክ ሰዋሰው እና የመጨረሻ ማሽኖች…………….35

3.1. ራስ-ሰር ሰዋሰው እና ውሱን አውቶማቲክ ………………………………………………….35

3.2.የማይወስኑ እና የመወሰን ሀ-ሰዋሰው እኩልነት...... 36

መልመጃዎች ………………………………………………………………………………………………………… 41

ምዕራፍ 4. ተመጣጣኝ ከአውድ-ነጻ ትራንስፎርሜሽን

እና አውቶማቲክ ሰዋሰው………………………………………………..….42

4.2. ከሰዋሰው የሰዋሰው የሞቱ-ፍጻሜ ህጎችን ማስወገድ ………………………………………………… 46

4.3. አጠቃላይ የ KS-ሰዋሰው እና የሰዋስው ቅነሳ ወደ ማራዘሚያ ቅፅ…….48

4.4. የግራ መደጋገም እና የግራ ማባዛትን ማስወገድ …………………………………………………… 52

መልመጃዎች ………………………………………………………………………………………………………………………….53

ምዕራፍ 5. አውቶማቲክ እና ከዐውድ-ነጻ ቋንቋዎች ባህሪያት…55

5.1. የ A-ቋንቋዎች እና የ KS-ቋንቋዎች ሰንሰለቶች አጠቃላይ እይታ …………………………………………………………………………………………..55

5.2. የቋንቋዎች ክዋኔዎች ………………………………………………………………………………………………….59

5.2.1. ክዋኔዎች በሲኤስ ቋንቋዎች …………………………………………………………………………………

5.2.2. በ A-ቋንቋዎች ላይ የሚሰሩ ስራዎች …………………………………………………………………………

5.2.3. በ K-ቋንቋዎች ላይ የሚሰሩ ስራዎች …………………………………………………………………………………………

5.3. የተግባር መደምደሚያ …………………………………………………………………………………………….67

5.4. የ KS-ሰዋሰው እና የቋንቋዎች አሻሚነት ………………………………………………………………………………………… 71

መልመጃዎች ………………………………………………………………………………………………………………… 74

ምዕራፍ 6. የሲኤስ ቋንቋዎች አገባብ ትንተና……………………………...……...75

6.1. የሲኤስ ቋንቋዎችን የመተንተን ዘዴዎች. የቅድሚያ ሰዋሰው ………………………… 75

6.2. የዊርት ቀዳሚ ሰዋሰው …………………………………………………………………………………….77

የፍሎይድ ቀዳሚ ሰዋሰው ………………………………………………………………………………………………………… 79

የቅድሚያ ተግባራት …………………………………………………………………………………………………

መልመጃዎች …………………………………………………………………………………………………………………

ምዕራፍ 7. የትርጓሜ ትምህርት መግቢያ……………………………………………………….85

7.1. የፖላንድ ተገላቢጦሽ ምልክት …………………………………………………………………………………………85

7.2. የPOLIZ ትርጉም ………………………………………………………………………………………….87

7.3. ለPOLIZ ትዕዛዞችን በማመንጨት ላይ ………………………………………………………………………….89

7.4. የዛመልሰን እና ባወር አገላለጾችን ወደ POLIZ ለመተርጎም ስልተ ቀመር……………………………….91

7.5. የባህሪ ሰዋሰው …………………………………………………………………………………………………

መልመጃዎች ………………………………………………………………………………………………………….100

ምዕራፍ 8. የማጠናቀር ዋና ደረጃዎች……………………………………...……100

ማጠቃለያ

አፕሊኬሽን…………………………………………………………………………………105

የርዕስ ማውጫ……………………………………………………….…….…115

መግቢያ

የቋንቋ ጥናት- የቋንቋ ሳይንስ. የሂሳብ ቋንቋዎች- ቋንቋዎችን የመገንባት እና የመማር መደበኛ ዘዴዎችን የሚመለከት ሳይንስ።

የመደበኛ ሰዋሰው ጽንሰ-ሐሳብ- የቋንቋዎች መደበኛ ሰዋሰውን ለመግለጽ ዘዴዎችን ፣ የቋንቋ ሰንሰለቶችን ለመገምገም ዘዴዎችን እና ስልተ ቀመሮችን እንዲሁም የአልጎሪዝም ቋንቋዎችን ወደ ማሽን ቋንቋ ለመተርጎም ስልተ ቀመሮችን ጨምሮ የሂሳብ ሊንጉስቲክስ ክፍል።

የዚህ ፅንሰ-ሀሳብ መፈጠር እና መሻሻል የኮምፒዩተር ቴክኖሎጂ እድገት እና በዚህም ምክንያት በአንድ ሰው እና በኮምፒተር መካከል የግንኙነት ዘዴዎች አስፈላጊነት ነበር። በሁሉም አፕሊኬሽኖች ኮምፒዩተሩ ተጠቃሚው ለችግሮች መፍትሄ እና የመጀመሪያ ዳታ ስልተ ቀመሮችን የሚያነጋግርበትን አንዳንድ ቋንቋ መረዳት አለበት። እያንዳንዱ ኮምፒዩተር በሁለትዮሽ ኮድ የተወከለ እና የግለሰብ ፕሮሰሰር ስራዎችን የሚያንፀባርቅ የራሱ የሆነ የማሽን መመሪያዎች ቋንቋ አለው። በኮምፒዩተር ቴክኖሎጂ እድገት የመጀመሪያ ደረጃ ላይ ፕሮግራመሮች በዚህ ጥንታዊ ቋንቋ ከኮምፒዩተሮች ጋር ይገናኛሉ ፣ ግን የሰው ልጅ ከማሽኑ ዲጂታል ቋንቋ አንፃር በደንብ ማሰብ አይችሉም ። የፕሮግራም አወጣጥ አውቶሜትድ በመጀመሪያ የመሰብሰቢያ ቋንቋዎችን እና ከዚያም ከፍተኛ ደረጃ አልጎሪዝም ቋንቋዎች እንዲፈጠሩ ምክንያት ሆኗል, ይህም ወደ ቤተኛ ማሽን ቋንቋ የተተረጎመው ለኮምፒዩተር እራሱ በአደራ ተሰጥቷል. እንደዚህ ያሉ የትርጉም ፕሮግራሞች ይባላሉ ማሰራጫዎች.

ብዙ የሶፍትዌር ገንቢዎች ቋንቋን ለማሽን የማብራራት ችግር ይገጥማቸዋል። አዳዲስ ቋንቋዎችን መፍጠር የሰው ልጅ ተፈጥሮ ነው። እዚህ እየተነጋገርን ያለነው ስለ አዲስ አልጎሪዝም ፕሮግራሚንግ ቋንቋዎች ስለ ውስብስብ አቀናባሪዎች ብቻ አይደለም። ማንኛውም ራስ-ሰር ስርዓት አንዳንድ የግቤት መጠይቅ ቋንቋ መረዳት አለበት። አዳዲስ የመረጃ ቴክኖሎጂዎች በኮምፒዩተር ላይ ችግሮቻቸውን ለመፍታት የዋና ተጠቃሚ (ሳይንቲስት ፣ ዲዛይነር ፣ ቴክኖሎጂስት ፣ ኦፕሬተር) - በልዩ መስክ ውስጥ ልዩ ባለሙያተኛ ፣ እና በኮምፒተር ቴክኖሎጂ እና በፕሮግራም አወጣጥ ቴክኖሎጂ መስክ ውስጥ አይደሉም ። ለዚህ ችግር ከፍተኛ ጥራት ያለው መፍትሄ በተጠቃሚው እና በኮምፒዩተር መካከል የማሰብ ችሎታ ያለው በይነገጽ መኖር አለበት-ተጠቃሚው ችግሮችን መፍጠር እና የመፍትሄዎቻቸውን ውጤት በእሱ ዘንድ ከሚያውቀው ርዕሰ ጉዳይ አንጻር ማግኘት አለበት. ማለትም፣ ብዙ ጎራ-ተኮር ቋንቋዎችን ማዳበር አስፈላጊ ነው። የሶፍትዌር ስፔሻሊስት ቋንቋዎች እንዴት እንደሚፈጠሩ እና የሶፍትዌር ድጋፋቸውን ማወቅ አለባቸው።

ቋንቋን ለማሽን ለማስረዳት እንዴት እንደሚሰራ እና እንዴት እንደምንረዳው ግልጽ ግንዛቤ ሊኖረን ይገባል። ስናስበው የአፍ መፍቻ ቋንቋችንን እንዴት እንደምንረዳ እንደማናውቅ እናያለን። የዚህ ግንዛቤ ሂደት ንቃተ-ህሊና እና ሊታወቅ የሚችል ነው። ነገር ግን አስተርጓሚ ለመፍጠር, ይህ ጽሑፍ እንዲሠራ ወደ ሚፈልገው ተግባር ለመተርጎም ስልተ ቀመር መኖሩ አስፈላጊ ነው, ይህ ደግሞ በተራው, ያስፈልገዋል. የቋንቋ መደበኛነት. የቋንቋ መደበኛነት ችግሮች የሚፈቱት በሒሳብ ልሳን ነው። የተፈጥሮ ቋንቋዎች በጣም የተወሳሰቡ ናቸው እና እነሱን ሙሉ በሙሉ መደበኛ ለማድረግ ገና አልተቻለም። አልጎሪዝም ቋንቋዎች፣ በተቃራኒው፣ ቀድሞውንም ከመደበኛነት ጋር ተፈጥረዋል። የመደበኛ ቋንቋዎች ፅንሰ-ሀሳብ በጣም የዳበረ የሂሳብ የቋንቋ ቅርንጫፍ ነው ፣ እሱም በመሠረቱ ቋንቋን ለማሽን የማብራራት ዘዴን ይወክላል። የዚህን ንድፈ ሐሳብ ትርጓሜዎች፣ ሞዴሎችና ዘዴዎች ከመመልከታችን በፊት፣ ከተፈጥሮ ቋንቋዎች ምሳሌዎችን በመጠቀም አንዳንድ ጽንሰ-ሐሳቦችን እንመልከት።

ቋንቋ- በተወሰኑ ደንቦች መሰረት የተገነቡ የአረፍተ ነገሮች ስብስብ (ሀረጎች).

ሰዋሰው- አንድ ሐረግ የቋንቋ መሆን አለመሆኑን የሚወስኑ የሕጎች ስብስብ።

ማንኛውም ቋንቋ የመወሰን እና የማታሻማ ባህሪያትን ማርካት አለበት።

ቋንቋ ሊፈታ የሚችል ነው።, በመጨረሻው ጊዜ ውስጥ አንድ ሐረግ ወይም ዓረፍተ ነገር የቋንቋው መሆኑን ለመወሰን ከተቻለ. ቋንቋው የማያሻማ ነው።, ማንኛውም ሐረግ ልዩ በሆነ መንገድ ከተረዳ.

የሰዋሰው ዋና ክፍሎች አገባብ እና ትርጓሜዎች ናቸው።

አገባብ- በቋንቋ ውስጥ ትክክለኛውን የአረፍተ ነገር ግንባታ የሚወስኑ ህጎች ስብስብ።

የትርጓሜ ትምህርት- በአንድ ቋንቋ ውስጥ የአረፍተ ነገርን የትርጉም ወይም የትርጉም ትክክለኛነት የሚወስኑ ህጎች ስብስብ።

አንድ ዓረፍተ ነገር በአገባብ ትክክል እና በትርጉም ደረጃ የተሳሳተ ሊሆን ይችላል።

በቋንቋ ውስጥ ያሉ ሁሉም ሀረጎች ትርጉም ሊኖራቸው ባለመቻሉ አገባብ ቀለል ያለ ነው። ብዙውን ጊዜ የወደፊቱን አመለካከት ወይም የአንዳንድ ፖለቲከኞችን ንግግር ለመረዳት አስቸጋሪ ነው. በዚህ ረገድ፣ የአካዳሚክ ሊቅ ኤል.ቪ. ሽቸርባ ምሳሌ ትኩረት የሚስብ ነው፡- “ግሎካ ኩዝድራ ሽቴኮ ቦከርን መላጣ እና ቦክሬንካውን እየቀለበሰ ነው። ይህ በሩሲያኛ ሐረግ ነው, ምክንያቱም በአረፍተ ነገሩ አባላት ሊተነተን ይችላል, ነገር ግን ትርጉሙ ግልጽ አይደለም.

የአረፍተ ነገር አገባብ ትንተና በፓርሴ ዛፍ መልክ ሊጻፍ ይችላል። የዛፉ አንጓዎች, እንደ ርዕሰ-ጉዳይ, ተሳቢ, ርዕሰ-ጉዳይ ቡድን, ዓረፍተ-ነገር ከአገባብ ጽንሰ-ሐሳቦች ጋር ይዛመዳሉ, እና ቅጠሎቹ ዓረፍተ ነገሩ የተገነባባቸው ቃላቶች ናቸው. በዛፍ ውስጥ አንዳንድ ቅጠሎችን እና ቅርንጫፎችን በመቁረጥ, ስሜታዊ ቅርጽ (የማይታወቅ ሰንሰለት) እናገኛለን.

<предложение>

“እናት ሴት ልጇን ትወዳለች” ለሚለው ሐረግ የዚያኑ የትንሳኤ ዛፍ ምሳሌ በመጠቀም የሐረጉን አሻሚነት ተፈጥሮ ማብራራት ይቻላል።

ይህ ሐረግ አሻሚ ነው ምክንያቱም ሁለት የመተንተን አማራጮች አሉት። አገባብ አሻሚነት በቀጥታ የትርጉም አሻሚነትን ያካትታል። ነገር ግን በቃላቱ አሻሚ ትርጉም ምክንያት ሊረዱ የማይችሉ የአገባብ ግልጽ ያልሆኑ ሐረጎች ምሳሌዎችን ማቅረብ ይችላሉ። አልጎሪዝም ቋንቋ የማያሻማ መሆን እንዳለበት እናስታውስ።

መደበኛ ቋንቋ በተፈጥሮ ቋንቋዎች ውስጥ ያሉ ተራ የቋንቋ ፅንሰ-ሀሳቦችን ጠቅለል አድርጎ የወጣ የሂሳብ ማጠቃለያ ነው። የመደበኛ ቋንቋዎች ፅንሰ-ሀሳብ በዋናነት የቋንቋዎችን አገባብ ያጠናል እና ትርጉም ፣ መሰብሰብ እና ማጠናቀርን የሚያካትቱ በአገባብ ቁጥጥር ስር ያሉ የትርጉም ሂደቶች መሠረት ነው። የዚህ ፅንሰ-ሀሳብ መሠረቶች በአሜሪካዊው የሂሳብ ሊቅ ኤን ቾምስኪ በ 50 ዎቹ መገባደጃ እና በ 60 ዎቹ መገባደጃ ላይ እና እስከ ዛሬ ድረስ ከኮምፒዩተር ቴክኖሎጂ እድገት ጋር ማደጉን ቀጥለዋል ። በዚህ ጽንሰ-ሐሳብ ዋና ዋና ነገሮች ላይ እናተኩር.