Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
12
rozdział1Pakietymyśli(przeglądNLP)
ciągówznaków,naktóreumiejąodpowiedzieć.Terozpoznaneciągiwyzwalająnastępnie
odpowiedźwpostaciodpowiedniegoskryptupasującegodotegokonkretnegowyraże-
niaregularnego.Itosamowyrażenieregularnemożebyćteżwykorzystanedowyciąg-
nięciaużytecznejczęściinformacjiztegozdania.Chatbotmożedodaćtenkawałek
informacjidoswojejbazywiedzyoużytkownikuluboświecie,któryużytkownikopisuje.
Maszynę,któraprzetwarzatenrodzajjęzyka,możnatraktowaćjakoobiektformalnej
matematykinoszącynazwęautomatuskończonegolubdeterministycznegoautomatu
skończonego(deterministicfiniteautomaton,DFA).Wksiążcewciążpowracająautomaty
skończone(FSM).Dlategowartodobrzepojąć,doczegosąoneużywane,bezprzeko-
pywaniasięprzezichteorięicałąmatematykę.Dlaosób,któreniemogąsięoprzeć
próbiezrozumieniaczegoświęcejotychnarzędziachinformatyki,narysunku1.1jest
pokazanemiejsceFSMwzagnieżdżonymświecieautomatów(botów).Apokazanadalej
uwagawyjaśniapewneszczegółyformalnedotyczącesformalizowanychjęzyków.
MaszynaTuringa
Automatzestosem
Automatskończony
Układkombinacyjny
Rysunek1.1.Rodzajeautomatów
Formalnematematyczneobjaśnieniejęzykówsformalizowanych
KyleGormantakopisujejęzykiprogramowania:
¾Większośćznich,jeśliniewszystkie,pochodzązklasyjęzykówbezkontekstowych.
¾Językibezkontekstowesąanalizowaneskładniowozapomocąbezkontekstowych
gramatyk,którezapewniająwydajnąanalizę.
¾Językiregularnesątakżewydajnieanalizowaneskładniowoisąpowszechnie
używanewprzetwarzaniudopasowywaniałańcuchów.
¾Aplikacjezwiązanezdopasowywaniemłańcuchówrzadkowymagają
bezkontekstowejmocyekspresyjnej.
¾Istniejewieleklasjęzykówsformalizowanych.Przytaczamytukilkaznich
(zmalejącązłożonością)a:
–wyliczanerekurencyjnie,
–kontekstowe,
–bezkontekstowe,
–regularne.
