• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • 13. międzynarodowa konferencja nt. automatów i języków formalnych, Debreczyn, Węgry

    02.08.2011. 16:17
    opublikowane przez: Redakcja Naukowy.pl

    W dniach 17 - 22 sierpnia 2011 r. w Debreczynie, Węgry, odbędzie się 13. międzynarodowa konferencja nt. automatów i języków formalnych.
    Teoria automatów polega na badaniu abstrakcyjnych maszyn i problemów obliczeniowych, które można rozwiązać za ich pomocą. Dziedzina ta jest również powiązana z teorią języka formalnego. Dzieje się tak dlatego, że automaty są często grupowane wg klasy języków formalnych, które są w stanie rozpoznać. Automat może obejmować skończoną reprezentację języka formalnego, będącego zbiorem nieskończonym.

    Języki formalne są często wykorzystywane jako podstawa bogatszych konstruktów obdarzonych semantyką. W informatyce są one często wykorzystywane do precyzyjnego definiowania formatów danych i składni języków programowania.

    Wydarzenie zostanie zorganizowane wokół serii sesji poświęconych każdego dnia rozmaitym tematom.

    Za: CORDIS

    Czy wiesz ĹĽe...? (beta)
    Pismo etiopskie (amh. ፊደል fidäl) – pismo, które wykształciło się do zapisu języka gyyz, a z czasem zaczęto w nim zapisywać także inne języki Etiopii (głównie semickie). Obecnie używane jest do zapisu języków etiopskich (m. in. amharskiego i tigrinia) oraz języków omockich. Próby zastosowania pisma etiopskiego do zapisu języków kuszyckich nie przyniosły trwałych rezultatów, zapewne dlatego, że pismo to było postrzegane jako symbol amharskiej dominacji kulturowej. Pokrewieństwo języków – powiązanie między językami naturalnymi polegające na pochodzeniu tych języków od wspólnego prajęzyka. Język chinalugijski (nazwa własna Каьатш миI) – jeden z niewielkich języków kaukaskich, używany przez Chinalugów w północnym Azerbejdżanie. Stanowisko języka chinalugijskiego w obrębie języków kaukaskich jest sporne. Według niektórych opracowań język ten należy do zespołu samurskiego, podgrupy dagestańskiej w grupie północno-wschodniej (nachsko-dagestańskiej) języków kaukaskich. Niektórzy jednak językoznawcy uważają, iż język ten jest na tyle różny od pozostałych języków zespołu samurskiego, iż można go z niej wydzielić. Przy tej klasyfikacji język ten opisywany jest jako izolowany w grupie języków dagestańskich.

    Rodzina językowa – w klasyfikacji języków jednostka obejmująca grupę języków, co do których zakłada się lub istnieją bezpośrednie dowody, że wywodzą się one od wspólnego prajęzyka. Wniosek o pochodzeniu języków od wspólnego źródła wysuwa się ze względu na ich regularne podobieństwa (występowanie wspólnych lub zbliżonych form wyrazów, podobieństwo morfologii, składni itp.). Przykładowo uważa się, że języki indoeuropejskie wywodzą się od języka praindoeuropejskiego (co dziś nie jest przez nikogo specjalnie podważane). Wzajemna zrozumiałość języków (ang. mutual intelligibility) – pojęcie z zakresu językoznawstwa oznaczające taką bliskość różnych języków, że mówiący nimi mogą się porozumieć bez dodatkowej nauki ani żadnego dodatkowego wysiłku. Jest to jedno z kryterium do oceny odrębności języka lub uznania go za dialekt. Wzajemne zrozumienie może być asymetryczne, kiedy reprezentant jednego z języków rozumie partnera bardziej niż drugi. Wzajemna zrozumiałość posiada również kryterium czasowe, wraz z rozwojem języki oddalają się do siebie lub przybliżają, np. duński i norweski przestały być wzajemnie zrozumiałe już na początku XIX w.

    Języki kipczackie - grupa językowa w obrębie rodziny języków tureckich, obejmująca szereg języków używanych w Środkowej i Zachodniej Azji oraz Europie Wschodniej. Języki z tej grupy posiadają wspólne cechy charakterystyczne, odróżniające je od innych języków tureckich: Mariusz Flasiński (ur. w 1960) – polski informatyk (specjalności: rozpoznawanie i przetwarzanie obrazów, sztuczna inteligencja, informatyka w zarządzaniu, teoria języków formalnych i automatów, inżynieria oprogramowania, zarządzanie projektami informatycznymi), wykładowca akademicki, prof. dr hab., od 2006 roku kierownik Katedry Systemów Informatycznych Instytutu Informatyki Uniwersytetu Jagiellońskiego, członek Polskiej Akademii Umiejętności; przedsiębiorca.

    Gramatyka kategorialna – rodzaj gramatyki formalnej, w której wyróżnia się: słownik będący zbiorem atomów języka opisywanego przez gramatykę, typizację początkową określającą zasady przypisywania typów elementom ze słownika oraz typ naczelny gramatyki. Teoria gramatyk kategorialnych zajmuje się zatem różnymi metodami opisu języków symbolicznych i języka naturalnego, opartymi na typizacji języka. Języki kaukaskie – termin stosowany na określenie grupy języków, używanych przez rdzenną ludność Kaukazu. Pod względem liczby użytkowników rodzina języków kaukaskich nie jest zbyt liczna (zaledwie kilka milionów), lecz wewnętrznie ogromnie zróżnicowana, ponieważ według rozmaitych zestawień może obejmować nawet do 50 różnych języków. Niektórzy językoznawcy uważają jednak, iż liczba ta jest znacznie przesadzona.

    Język bo (znany także jako Aka-bo) – wymarły język z grupy andamańskiej. Występował w północno-zachodniej części Północnego Andamanu w Indiach. Jest uważany za jeden z najstarszych języków świata – szacowano, że może mieć nawet ok. 65-70 tys. lat. Przedrostek "Aka" w nazwie języka Aka-bo jest popularnym wśród języków andamańskich prefiksem dla słów związanych z językiem.

    Sieć Petriego – matematyczna reprezentacja dyskretnych systemów rozproszonych. Sieci Petriego zostały zdefiniowane w latach 60. XX w. przez Carla Adama Petriego. Przez swoją zdolność do wyrażania współbieżnych zdarzeń uogólniają one teorię automatów.

    Język xhosa – jeden z ważniejszych języków z rodziny bantu, posługuje się nim południowoafrykański lud Xhosa (głównie w RPA i Lesotho), liczbę użytkowników szacuje się na ok. 5,6 mln. Zalicza się do języków mlaskowych, co wyróżnia go spośród innych języków bantu (cecha ta została zapożyczona z języków khoisan). Mlask boczny dziąsłowy (zapisywany jako "xh") występuje również w nazwie języka.

    Dodano: 02.08.2011. 16:17  


    Najnowsze