Francesc Josep Ferri Rabasa - Teoria d'autòmats i llenguatges formals

Здесь есть возможность читать онлайн «Francesc Josep Ferri Rabasa - Teoria d'autòmats i llenguatges formals» — ознакомительный отрывок электронной книги совершенно бесплатно, а после прочтения отрывка купить полную версию. В некоторых случаях можно слушать аудио, скачать через торрент в формате fb2 и присутствует краткое содержание. Жанр: unrecognised, ca. Описание произведения, (предисловие) а так же отзывы посетителей доступны на портале библиотеки ЛибКат.

Teoria d'autòmats i llenguatges formals: краткое содержание, описание и аннотация

Предлагаем к чтению аннотацию, описание, краткое содержание или предисловие (зависит от того, что написал сам автор книги «Teoria d'autòmats i llenguatges formals»). Если вы не нашли необходимую информацию о книге — напишите в комментариях, мы постараемся отыскать её.

"Teoria d'autòmats i llenguatges formals" es un libro de introducción a los diversos aspectos que constituyen la base de los modelos de computación y de los lenguajes de programación. Se introducen los conceptos fundamentales desde el principio, con un mínimo de prerequisitos, y se incluyen numerosos ejemplos y ejercicios. El texto intenta conjugar el rigor matemático característico de la materia con el hecho de que los conceptos más importantes sean asequibles y se puedan relacionar directamente con las aplicaciones asociadas más importantes en informática.

Teoria d'autòmats i llenguatges formals — читать онлайн ознакомительный отрывок

Ниже представлен текст книги, разбитый по страницам. Система сохранения места последней прочитанной страницы, позволяет с удобством читать онлайн бесплатно книгу «Teoria d'autòmats i llenguatges formals», без необходимости каждый раз заново искать на чём Вы остановились. Поставьте закладку, и сможете в любой момент перейти на страницу, на которой закончили чтение.

Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать
La inversió també admet la definició recursiva següent 112 Operations amb - фото 34

La inversió també admet la definició recursiva següent:

112 Operations amb llenguatges Com que els llenguatges són conjunts de - фото 35

1.1.2 Operations amb llenguatges

Com que els llenguatges són conjunts (de cadenes), s’hi poden aplicar totes les operacions usuals sobre conjunts, com ara la unió, la intersecció, el complement i la resta. Aquestes operacions, les escriurem com a

A més a més les operacions amb cadenes es poden estendre al cas de - фото 36

A més a més, les operacions amb cadenes es poden estendre al cas de llenguatges, de la mateixa manera que s’ha fet amb la concatenació.

En general, donada qualsevol operació interna m-ària amb cadenes, O, la seua extensió a llenguatges és donada per

A banda hi ha altres operacions especifiques amb llenguatges El quocient de - фото 37

A banda, hi ha altres operacions especifiques amb llenguatges.

El quocient de dos llenguatges, L 1i L 2, és donat pels prefixos d’aquelles cadenes de L 1que es poden factoritzar com el mateix prefix seguit d’un sufix en L 2.

Loperació quocient també es pot definir per a cadenes Per exemple abcc - фото 38

L’operació quocient també es pot definir per a cadenes:

Per exemple abcc ab i abcac no està definit Aquesta operació també - фото 39

Per exemple, abc/c = ab i abc/ac no està definit.

Aquesta operació també s’anomena quocient per la dretai es pot veure com la inversa de la operació concatenació per la dreta.

La extensió a llenguatges es pot dur a terme com a quocient entre un llenguatge i una cadena

Teoria dautòmats i llenguatges formals - изображение 40

i també com a quocient entre dos llenguatges

Aquesta darrera definició és equivalent a la primera que sha donat Per - фото 41

Aquesta darrera definició és equivalent a la primera que s’ha donat.

Per exemple, si L1 = {a n | n ≥ 0 i L 2 = {an bm | n, m ≥ 0}, aleshores L 1/a = L 1, L 2/ /b = L 2i L 2/ /a = L1 .

De la mateixa manera es poden definir també els quocients per l’esquerra entre cadenes o llenguatges. En alguns textos els quocients entre z i y per la dreta i per l’esquerra s’escriuen com a zy –1i y –1 z , respectivament.

El quocient per l’esquerra entre una cadena x i un llenguatge L , x –1L, s’anomena derivadade L respecte de xi està format pels anomenats sufixos de x en L (també de vegades bons finalsde x en L ).

Per exemple, Teoria dautòmats i llenguatges formals - изображение 42està format per cadenes de zero o més símbols b perqué són les úniques que afegides a ab estàn en картинка 43

Anomenem substitucióuna funció que a cada símbol d’un alfabet ∑ li fa correspondre un llenguatge sobre un altre alfabet картинка 44.

Matemàticament,

картинка 45

La substitució s’estén trivialment a cadenes. Donada una cadena, la substitució que s’hi aplique donarà com a resultat la concatenació de les substitucions sobre cada un dels seus símbols.

Perquè tinga sentit, cal definir la substitució sobre la cadena buida, que ha de donar lògicament la cadena buida.

Escrivint-ho recursivament:

També ho podem escriure com Les substitucions sestenen també trivialment per - фото 46

També ho podem escriure com

Teoria dautòmats i llenguatges formals - изображение 47

Les substitucions s’estenen també trivialment per a llenguatges de la manera següent:

Teoria dautòmats i llenguatges formals - изображение 48

Un cas particular de substitució és l’ homomorfisme 7que és una substitució en la qual es compleix que a tot símbol de ∑ li correspon (com a màxim) una única cadena de картинка 49. És a dir, h : *. Normalment escriurem les substitucions com a f i els homomorfismes com a h .

Considerem com a exemple una substitució entre els alfabets {0,1} i {a, b, c} donada per

Aleshores es compliria que Donat un homomorfisme h - фото 50

Aleshores es compliria que

Donat un homomorfisme h anomenem homomorfisme inversde la cadena y - фото 51

Donat un homomorfisme h : картинка 52, anomenem homomorfisme inversde la cadena yi ho escrivim com a h 1 y el conjunt de cadenes de tals que - фото 53, i ho escrivim com a h –1( y ), el conjunt de cadenes de ∑* tals que transformades per h donen y . És a dir,

També es pot definir lhomomorfisme invers dun llenguatge quasi de la mateixa - фото 54

També es pot definir l’homomorfisme invers d’un llenguatge quasi de la mateixa manera.

Teoria dautòmats i llenguatges formals - изображение 55

Considerem com a exemple el llenguatge Teoria dautòmats i llenguatges formals - изображение 56i l’homomorfisme donat per h(0) = ab, h (1) = b, h (2) = a, h (3) = cc . Aleshores es compleix que

Читать дальше
Тёмная тема
Сбросить

Интервал:

Закладка:

Сделать

Похожие книги на «Teoria d'autòmats i llenguatges formals»

Представляем Вашему вниманию похожие книги на «Teoria d'autòmats i llenguatges formals» списком для выбора. Мы отобрали схожую по названию и смыслу литературу в надежде предоставить читателям больше вариантов отыскать новые, интересные, ещё непрочитанные произведения.


Отзывы о книге «Teoria d'autòmats i llenguatges formals»

Обсуждение, отзывы о книге «Teoria d'autòmats i llenguatges formals» и просто собственные мнения читателей. Оставьте ваши комментарии, напишите, что Вы думаете о произведении, его смысле или главных героях. Укажите что конкретно понравилось, а что нет, и почему Вы так считаете.

x