ARITHMETIC AND STRUCTURAL PROPERTIES OF GROUPS AND SEMI-GROUPS I (Q3142532)
Jump to navigation
Jump to search
Project Q3142532 in Spain
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ARITHMETIC AND STRUCTURAL PROPERTIES OF GROUPS AND SEMI-GROUPS I |
Project Q3142532 in Spain |
Statements
13,176.9 Euro
0 references
24,200.0 Euro
0 references
54.45 percent
0 references
1 January 2015
0 references
31 December 2018
0 references
UNIVERSIDAD DE VALENCIA
0 references
46100
0 references
EL OBJETIVO PRINCIPAL DE ESTE PROYECTO ES AVANZAR EN EL CONOCIMIENTO ESTRUCTURAL DE LOS GRUPOS Y SEMIGRUPOS, RESOLVIENDO PROBLEMAS ALGEBRAICOS QUE TIENEN SU ORIGEN DENTRO DE LAS PROPIAS TEORIAS Y EN DISCIPLINAS EXTERNAS A ELLAS COMO LA TEORIA DE AUTOMATAS Y LENGUAJES FORMALES. MUCHOS DE ESTOS PROBLEMAS PRECISAN DE LAS HERRAMIENTAS Y TECNICAS PROPIAS DE LAS TEORIAS DE CLASES DE GRUPOS, CONOCIDAS Y UTILIZADAS SISTEMATICAMENTE POR VARIOS DE LOS MIEMBROS DE ESTE PROYECTO DESDE HACE MAS DE VEINTE AÑOS, Y REPRESENTACIONES DE GRUPOS Y SEMIGRUPOS, ASI COMO DE GRAFOS ASOCIADOS DE MANERA NATURAL A DICHAS ESTRUCTURAS ALGEBRAICAS. EL ANALISIS DE LAS RELACIONES ENTRE LAS SUBESTRUCTURAS ASOCIADAS, SU INMERSION, POSIBLES FACTORIZACIONES E INTERACCIONES ENTRE LOS GRUPOS Y SEMIGRUPOS A NIVEL ESTRUCTURAL Y DE REPRESENTACION SON, POR TANTO, OBJETIVOS CENTRALES DEL PROYECTO CUYO CARACTER INTERDISCIPLINAR COMBINA LA INVESTIGACION BASICA EN GRUPOS, MONOIDES Y SEMIGRUPOS CON OTRAS LINEAS DE TRABAJO PROPIAS DE LAS CIENCIAS DE LA COMPUTACION COMO EL USO LOS METODOS COALGEBRAICOS EN EL ESTUDIO DE LOS AUTOMATAS NO FINITOS Y LOS LENGUAJES NO REGULARES. (Spanish)
0 references
THE MAIN OBJECTIVE OF THIS PROJECT IS TO ADVANCE THE STRUCTURAL KNOWLEDGE OF GROUPS AND SEMIGROUPS, SOLVING ALGEBRAIC PROBLEMS THAT HAVE THEIR ORIGIN WITHIN THE THEORIES THEMSELVES AND IN DISCIPLINES EXTERNAL TO THEM SUCH AS THE THEORY OF AUTOMATA AND FORMAL LANGUAGES. MANY OF THESE PROBLEMS REQUIRE THE TOOLS AND TECHNIQUES SPECIFIC TO GROUP CLASS THEORIES, KNOWN AND USED SYSTEMATICALLY BY SEVERAL OF THE MEMBERS OF THIS PROJECT FOR MORE THAN TWENTY YEARS, AND REPRESENTATIONS OF GROUPS AND SEMI-GROUPS, AS WELL AS GRAPHS NATURALLY ASSOCIATED WITH THESE ALGEBRAIC STRUCTURES. THE ANALYSIS OF THE RELATIONS BETWEEN THE ASSOCIATED SUBSTRUCTURES, THEIR IMMERSION, POSSIBLE FACTORS AND INTERACTIONS BETWEEN GROUPS AND SEMIGROUPS AT THE STRUCTURAL AND REPRESENTATIONAL LEVEL ARE THEREFORE CENTRAL OBJECTIVES OF THE PROJECT WHOSE INTERDISCIPLINARY CHARACTER COMBINES BASIC RESEARCH IN GROUPS, MONOIDS AND SEMIGROUPS WITH OTHER LINES OF WORK TYPICAL OF COMPUTER SCIENCES AS THE USE OF COALGEBRAICOS METHODS IN THE STUDY OF NON-FINITE AUTOMATA AND NON-REGULAR LANGUAGES. (English)
12 October 2021
0.0948912525456751
0 references
L’OBJECTIF PRINCIPAL DE CE PROJET EST DE FAIRE PROGRESSER LA CONNAISSANCE STRUCTURELLE DES GROUPES ET DES SEMI-GROUPES, EN RÉSOLVANT LES PROBLÈMES ALGÉBRIQUES QUI ONT LEUR ORIGINE DANS LES THÉORIES ELLES-MÊMES ET DANS DES DISCIPLINES EXTÉRIEURES À EUX COMME LA THÉORIE DES AUTOMATES ET DES LANGUES FORMELLES. BEAUCOUP DE CES PROBLÈMES NÉCESSITENT LES OUTILS ET TECHNIQUES PROPRES AUX THÉORIES DE CLASSE DE GROUPE, CONNUS ET UTILISÉS SYSTÉMATIQUEMENT PAR PLUSIEURS DES MEMBRES DE CE PROJET DEPUIS PLUS DE VINGT ANS, ET DES REPRÉSENTATIONS DE GROUPES ET DE SEMI-GROUPES, AINSI QUE DES GRAPHIQUES NATURELLEMENT ASSOCIÉS À CES STRUCTURES ALGÉBRIQUES. L’ANALYSE DES RELATIONS ENTRE LES SOUS-STRUCTURES ASSOCIÉES, LEUR IMMERSION, LES FACTEURS POSSIBLES ET LES INTERACTIONS ENTRE LES GROUPES ET LES SEMI-GROUPES AU NIVEAU STRUCTUREL ET REPRÉSENTATIF SONT DONC DES OBJECTIFS CENTRAUX DU PROJET DONT LE CARACTÈRE INTERDISCIPLINAIRE COMBINE LA RECHERCHE FONDAMENTALE EN GROUPES, MONOIDÉS ET SEMI-GROUPES AVEC D’AUTRES LIGNES DE TRAVAIL TYPIQUES DES SCIENCES INFORMATIQUES COMME L’UTILISATION DES MÉTHODES COALGEBRAICOS DANS L’ÉTUDE DES LANGUES AUTOMATES NON FINIES ET NON RÉGULIÈRES. (French)
2 December 2021
0 references
DAS HAUPTZIEL DIESES PROJEKTS IST ES, DAS STRUKTURELLE WISSEN VON GRUPPEN UND HALBGRUPPEN ZU FÖRDERN UND ALGEBRAISCHE PROBLEME ZU LÖSEN, DIE IHREN URSPRUNG INNERHALB DER THEORIEN SELBST UND IN DISZIPLINEN AUSSERHALB VON IHNEN HABEN, WIE Z. B. DIE THEORIE DER AUTOMATEN UND FORMALEN SPRACHEN. VIELE DIESER PROBLEME ERFORDERN DIE WERKZEUGE UND TECHNIKEN, DIE FÜR GRUPPENTHEORIEN SPEZIFISCH SIND, DIE SEIT MEHR ALS ZWANZIG JAHREN VON MEHREREN MITGLIEDERN DIESES PROJEKTS SYSTEMATISCH UND SYSTEMATISCH VERWENDET WERDEN, SOWIE DARSTELLUNGEN VON GRUPPEN UND HALBGRUPPEN SOWIE GRAPHEN, DIE NATÜRLICH MIT DIESEN ALGEBRAISCHEN STRUKTUREN VERBUNDEN SIND. DIE ANALYSE DER ZUSAMMENHÄNGE ZWISCHEN DEN ZUGEHÖRIGEN UNTERSTRUKTUREN, DEREN EINTAUCHEN, MÖGLICHE FAKTOREN UND WECHSELWIRKUNGEN ZWISCHEN GRUPPEN UND SEMIGRUPPEN AUF STRUKTURELLER UND REPRÄSENTATIVER EBENE SIND DAHER ZENTRALE ZIELE DES PROJEKTS, DESSEN INTERDISZIPLINÄRER CHARAKTER GRUNDLAGENFORSCHUNG IN GRUPPEN, MONOIDEN UND SEMIGRUPPEN MIT ANDEREN FÜR COMPUTERWISSENSCHAFTEN TYPISCHEN ARBEITSLINIEN ALS EINSATZ VON COALGEBRAICOS-METHODEN BEI DER ERFORSCHUNG NICHT-FINITISCHER AUTOMATEN UND NICHT-REGELMÄSSIGER SPRACHEN VERBINDET. (German)
9 December 2021
0 references
HET BELANGRIJKSTE DOEL VAN DIT PROJECT IS HET BEVORDEREN VAN DE STRUCTURELE KENNIS VAN GROEPEN EN SEMIGROEPEN, HET OPLOSSEN VAN ALGEBRAÏSCHE PROBLEMEN DIE HUN OORSPRONG HEBBEN BINNEN DE THEORIEËN ZELF EN IN DISCIPLINES BUITEN HEN, ZOALS DE THEORIE VAN AUTOMATA EN FORMELE TALEN. VEEL VAN DEZE PROBLEMEN VEREISEN DE INSTRUMENTEN EN TECHNIEKEN DIE SPECIFIEK ZIJN VOOR GROEPSTHEORIEËN, DIE AL MEER DAN TWINTIG JAAR SYSTEMATISCH DOOR VERSCHILLENDE LEDEN VAN DIT PROJECT WORDEN GEBRUIKT, EN REPRESENTATIES VAN GROEPEN EN SEMI-GROEPEN, EVENALS GRAFIEKEN DIE VAN NATURE MET DEZE ALGEBRAÏSCHE STRUCTUREN WORDEN GEASSOCIEERD. DE ANALYSE VAN DE RELATIES TUSSEN DE BIJBEHORENDE SUBSTRUCTUREN, HUN ONDERDOMPELING, MOGELIJKE FACTOREN EN INTERACTIES TUSSEN GROEPEN EN SEMIGROEPEN OP STRUCTUREEL EN REPRESENTATIEF NIVEAU ZIJN DAAROM CENTRALE DOELSTELLINGEN VAN HET PROJECT, WAARVAN HET INTERDISCIPLINAIR KARAKTER FUNDAMENTEEL ONDERZOEK IN GROEPEN, MONOÏDEN EN SEMIGROEPEN COMBINEERT MET ANDERE WERKLIJNEN DIE KENMERKEND ZIJN VOOR DE COMPUTERWETENSCHAPPEN, ZOALS HET GEBRUIK VAN COALGEBRAICOS-METHODEN IN DE STUDIE VAN NIET-DEFINITIEVE AUTOMATA EN NIET-REGELMATIGE TALEN. (Dutch)
17 December 2021
0 references
L'OBIETTIVO PRINCIPALE DI QUESTO PROGETTO È QUELLO DI FAR PROGREDIRE LA CONOSCENZA STRUTTURALE DI GRUPPI E SEMIGRUPPI, RISOLVENDO PROBLEMI ALGEBRICI CHE HANNO LA LORO ORIGINE ALL'INTERNO DELLE TEORIE STESSE E IN DISCIPLINE AD ESSE ESTERNE COME LA TEORIA DEGLI AUTOMI E DEI LINGUAGGI FORMALI. MOLTI DI QUESTI PROBLEMI RICHIEDONO GLI STRUMENTI E LE TECNICHE SPECIFICHE PER LE TEORIE DI CLASSE DI GRUPPO, CONOSCIUTI E USATI SISTEMATICAMENTE DA MOLTI DEI MEMBRI DI QUESTO PROGETTO PER PIÙ DI VENT'ANNI, E RAPPRESENTAZIONI DI GRUPPI E SEMIGRUPPI, NONCHÉ GRAFICI NATURALMENTE ASSOCIATI A QUESTE STRUTTURE ALGEBRICHE. L'ANALISI DEI RAPPORTI TRA LE SOTTOSTRUTTURE ASSOCIATE, LA LORO IMMERSIONE, POSSIBILI FATTORI E INTERAZIONI TRA GRUPPI E SEMIGRUPPI A LIVELLO STRUTTURALE E RAPPRESENTATIVO SONO QUINDI OBIETTIVI CENTRALI DEL PROGETTO IL CUI CARATTERE INTERDISCIPLINARE COMBINA LA RICERCA DI BASE IN GRUPPI, MONOIDI E SEMIGRUPPI CON ALTRE LINEE DI LAVORO TIPICHE DELLE SCIENZE INFORMATICHE COME L'USO DEI METODI COALGEBRAICOS NELLO STUDIO DEGLI AUTOMI NON DEFINITI E DEI LINGUAGGI NON REGOLARI. (Italian)
16 January 2022
0 references
SELLE PROJEKTI PEAMINE EESMÄRK ON EDENDADA RÜHMADE JA SEMIGRUPPIDE STRUKTUURILISI TEADMISI, LAHENDADES ALGEBRALISI PROBLEEME, MILLE PÄRITOLU ON TEOORIAD ISE JA VÄLJASPOOL NEID, NÄITEKS AUTOMATA JA AMETLIKE KEELTE TEOORIA. PALJUD NEIST PROBLEEMIDEST NÕUAVAD VAHENDEID JA TEHNIKAID KONKREETSE RÜHMA KLASSI TEOORIAID, TUNTUD JA KASUTATAKSE SÜSTEMAATILISELT MITU LIIGET SELLE PROJEKTI ROHKEM KUI KAKSKÜMMEND AASTAT, JA ESINDUSED RÜHMADE JA SEMI-GRUPID, SAMUTI GRAAFIKUD LOOMULIKULT SEOTUD NENDE ALGEBRALINE STRUKTUURID. SEETÕTTU ON PROJEKTI KESKSED EESMÄRGID SEOTUD ALLSTRUKTUURIDE, NENDE SUKELDUMISE, VÕIMALIKE TEGURITE NING RÜHMADE JA POOLRÜHMADE VAHELISTE SEOSTE ANALÜÜS STRUKTUURI- JA ESINDUSTASANDIL, MILLE INTERDISTSIPLINAARNE ISELOOM ÜHENDAB ALUSUURINGUD RÜHMADES, MONOIDIDES JA POOLRÜHMADES TEISTE ARVUTITEADUSTELE ISELOOMULIKE TÖÖSUUNDADEGA, NAGU COALGEBRAICOSE MEETODITE KASUTAMINE MITTELÕPLIKE AUTOMATA JA MITTEREGULAARSETE KEELTE UURIMISEL. (Estonian)
4 August 2022
0 references
PAGRINDINIS ŠIO PROJEKTO TIKSLAS – GERINTI GRUPIŲ IR PUSGRUPIŲ STRUKTŪRINES ŽINIAS, SPRĘSTI ALGEBRASINES PROBLEMAS, KILUSIAS PAČIOSE TEORIJOSE IR UŽ JŲ RIBŲ ESANČIOSE DISCIPLINOSE, PVZ., AUTOMATIKOS TEORIJOJE IR FORMALIŲJŲ KALBŲ TEORIJOJE. DAUGELIS IŠ ŠIŲ PROBLEMŲ REIKALAUJA PRIEMONIŲ IR METODŲ, BŪDINGŲ GRUPINIŲ KLASIŲ TEORIJOMS, KURIAS ŽINO IR SISTEMINGAI NAUDOJA KELETAS ŠIO PROJEKTO DALYVIŲ DAUGIAU NEI DVIDEŠIMT METŲ, GRUPIŲ IR PUSIAU GRUPIŲ REPREZENTACIJOS, TAIP PAT GRAFIKAI, NATŪRALIAI SUSIJĘ SU ŠIOMIS ALGEBRINĖMIS STRUKTŪROMIS. TODĖL SUSIJUSIŲ SUBSTRUKTŪRŲ SANTYKIŲ ANALIZĖ, JŲ PANARDINIMAS, GALIMI VEIKSNIAI IR SĄVEIKA TARP GRUPIŲ IR PUSIAU GRUPIŲ STRUKTŪRINIU IR REPREZENTACINIU LYGIU YRA PAGRINDINIAI PROJEKTO TIKSLAI, KURIŲ TARPDISCIPLININIS POBŪDIS APIMA FUNDAMENTALIUOSIUS TYRIMUS GRUPĖMIS, MONOIDUS IR PUSGRUPES SU KITOMIS DARBO LINIJOMIS, BŪDINGOMIS KOMPIUTERIŲ MOKSLUI, KAIP COALGEBRAICOS METODŲ NAUDOJIMAS NEGALINIŲ AUTOMATŲ IR NEREGULIARIŲ KALBŲ STUDIJOJE. (Lithuanian)
4 August 2022
0 references
GLAVNI CILJ OVOG PROJEKTA JE UNAPRIJEDITI STRUKTURNO ZNANJE GRUPA I POLUGRUPA, RJEŠAVANJE ALGEBARSKIH PROBLEMA KOJI IMAJU SVOJE PODRIJETLO U TEORIJAMA SEBE I DISCIPLINAMA IZVAN NJIH, KAO ŠTO SU TEORIJA AUTOMATA I FORMALNIH JEZIKA. MNOGI OD TIH PROBLEMA ZAHTIJEVAJU ALATE I TEHNIKE SPECIFIČNE ZA GRUPNE TEORIJE KLASE, POZNAT I KORISTI SUSTAVNO NEKOLIKO ČLANOVA OVOG PROJEKTA ZA VIŠE OD DVADESET GODINA, I REPREZENTACIJE GRUPA I POLU-GRUPE, KAO I GRAFOVA PRIRODNO POVEZANE S TIM ALGEBARSKE STRUKTURE. ANALIZA ODNOSA IZMEĐU POVEZANIH PODSTRUKTURA, NJIHOVA URANJANJA, MOGUĆIH ČIMBENIKA I INTERAKCIJA IZMEĐU SKUPINA I POLUGRUPA NA STRUKTURNOJ I REPREZENTACIJSKOJ RAZINI STOGA SU SREDIŠNJI CILJEVI PROJEKTA ČIJI INTERDISCIPLINARNI KARAKTER KOMBINIRA OSNOVNA ISTRAŽIVANJA U GRUPAMA, MONOIDIMA I POLUGRUPAMA S DRUGIM LINIJAMA RADA TIPIČNIM ZA RAČUNALNE ZNANOSTI KAO KORIŠTENJE COALGEBRAICOS METODA U PROUČAVANJU NE-KONAČNIH AUTOMATA I NEREDOVITIH JEZIKA. (Croatian)
4 August 2022
0 references
Ο ΚΎΡΙΟΣ ΣΤΌΧΟΣ ΑΥΤΟΎ ΤΟΥ ΈΡΓΟΥ ΕΊΝΑΙ Η ΠΡΟΏΘΗΣΗ ΤΗΣ ΔΟΜΙΚΉΣ ΓΝΏΣΗΣ ΤΩΝ ΟΜΆΔΩΝ ΚΑΙ ΤΩΝ ΗΜΙΟΜΆΔΩΝ, ΕΠΙΛΎΟΝΤΑΣ ΑΛΓΕΒΡΙΚΆ ΠΡΟΒΛΉΜΑΤΑ ΠΟΥ ΈΧΟΥΝ ΤΗΝ ΠΡΟΈΛΕΥΣΉ ΤΟΥΣ ΜΈΣΑ ΣΤΙΣ ΊΔΙΕΣ ΤΙΣ ΘΕΩΡΊΕΣ ΚΑΙ ΣΕ ΕΠΙΣΤΗΜΟΝΙΚΟΎΣ ΚΛΆΔΟΥΣ ΕΚΤΌΣ ΑΥΤΏΝ, ΌΠΩΣ Η ΘΕΩΡΊΑ ΤΩΝ ΑΥΤΟΜΆΤΩΝ ΚΑΙ ΤΩΝ ΕΠΊΣΗΜΩΝ ΓΛΩΣΣΏΝ. ΠΟΛΛΆ ΑΠΌ ΑΥΤΆ ΤΑ ΠΡΟΒΛΉΜΑΤΑ ΑΠΑΙΤΟΎΝ ΤΑ ΕΡΓΑΛΕΊΑ ΚΑΙ ΤΙΣ ΤΕΧΝΙΚΈΣ ΠΟΥ ΑΦΟΡΟΎΝ ΕΙΔΙΚΆ ΤΙΣ ΟΜΑΔΙΚΈΣ ΤΑΞΙΚΈΣ ΘΕΩΡΊΕΣ, ΓΝΩΣΤΈΣ ΚΑΙ ΧΡΗΣΙΜΟΠΟΙΟΎΝΤΑΙ ΣΥΣΤΗΜΑΤΙΚΆ ΑΠΌ ΑΡΚΕΤΆ ΑΠΌ ΤΑ ΜΈΛΗ ΤΟΥ ΈΡΓΟΥ ΓΙΑ ΠΕΡΙΣΣΌΤΕΡΟ ΑΠΌ ΕΊΚΟΣΙ ΧΡΌΝΙΑ, ΚΑΙ ΑΝΑΠΑΡΑΣΤΆΣΕΙΣ ΟΜΆΔΩΝ ΚΑΙ ΗΜΙΟΜΆΔΩΝ, ΚΑΘΏΣ ΚΑΙ ΓΡΑΦΉΜΑΤΑ ΠΟΥ ΣΥΝΔΈΟΝΤΑΙ ΦΥΣΙΚΆ ΜΕ ΑΥΤΈΣ ΤΙΣ ΑΛΓΕΒΡΙΚΈΣ ΔΟΜΈΣ. Η ΑΝΆΛΥΣΗ ΤΩΝ ΣΧΈΣΕΩΝ ΜΕΤΑΞΎ ΤΩΝ ΣΥΝΔΕΔΕΜΈΝΩΝ ΥΠΟΔΟΜΏΝ, Η ΕΜΒΆΠΤΙΣΉ ΤΟΥΣ, ΟΙ ΠΙΘΑΝΟΊ ΠΑΡΆΓΟΝΤΕΣ ΚΑΙ ΟΙ ΑΛΛΗΛΕΠΙΔΡΆΣΕΙΣ ΜΕΤΑΞΎ ΟΜΆΔΩΝ ΚΑΙ ΗΜΙΟΜΆΔΩΝ ΣΕ ΔΟΜΙΚΌ ΚΑΙ ΑΝΤΙΠΡΟΣΩΠΕΥΤΙΚΌ ΕΠΊΠΕΔΟ ΑΠΟΤΕΛΟΎΝ, ΣΥΝΕΠΏΣ, ΚΕΝΤΡΙΚΟΎΣ ΣΤΌΧΟΥΣ ΤΟΥ ΈΡΓΟΥ ΤΟΥ ΟΠΟΊΟΥ Ο ΔΙΕΠΙΣΤΗΜΟΝΙΚΌΣ ΧΑΡΑΚΤΉΡΑΣ ΣΥΝΔΥΆΖΕΙ ΤΗ ΒΑΣΙΚΉ ΈΡΕΥΝΑ ΣΕ ΟΜΆΔΕΣ, ΜΟΝΟΪ́ΔΕΣ ΚΑΙ ΗΜΙΟΜΆΔΕΣ ΜΕ ΆΛΛΕΣ ΓΡΑΜΜΈΣ ΕΡΓΑΣΊΑΣ ΧΑΡΑΚΤΗΡΙΣΤΙΚΈΣ ΤΩΝ ΕΠΙΣΤΗΜΏΝ ΤΩΝ ΥΠΟΛΟΓΙΣΤΏΝ, ΌΠΩΣ Η ΧΡΉΣΗ ΤΩΝ ΜΕΘΌΔΩΝ COALGEBRAICOS ΣΤΗ ΜΕΛΈΤΗ ΜΗ ΠΕΠΕΡΑΣΜΈΝΩΝ ΑΥΤΟΜΑΤΏΝ ΚΑΙ ΜΗ ΤΑΚΤΙΚΏΝ ΓΛΩΣΣΏΝ. (Greek)
4 August 2022
0 references
HLAVNÝM CIEĽOM TOHTO PROJEKTU JE ROZVÍJAŤ ŠTRUKTURÁLNE ZNALOSTI SKUPÍN A POLOSKUPÍN, RIEŠIŤ ALGEBRICKÉ PROBLÉMY, KTORÉ MAJÚ SVOJ PÔVOD V SAMOTNÝCH TEÓRIÁCH A V DISCIPLÍNACH, KTORÉ SÚ PRE NE EXTERNÉ, AKO JE TEÓRIA AUTOMATIKY A FORMÁLNYCH JAZYKOV. MNOHÉ Z TÝCHTO PROBLÉMOV SI VYŽADUJÚ NÁSTROJE A TECHNIKY ŠPECIFICKÉ PRE SKUPINOVÉ TEÓRIE TRIED, KTORÉ SÚ ZNÁME A SYSTEMATICKY POUŽÍVANÉ NIEKOĽKÝMI ČLENMI TOHTO PROJEKTU UŽ VIAC AKO DVADSAŤ ROKOV, A REPREZENTÁCIE SKUPÍN A POLOSKUPÍN, AKO AJ GRAFY PRIRODZENE SPOJENÉ S TÝMITO ALGEBRAICKÝMI ŠTRUKTÚRAMI. ANALÝZA VZŤAHOV MEDZI PRIDRUŽENÝMI ČIASTKOVÝMI ŠTRUKTÚRAMI, ICH PONORENIE, MOŽNÉ FAKTORY A INTERAKCIE MEDZI SKUPINAMI A POLOSKUPINAMI NA ŠTRUKTURÁLNEJ A REPREZENTAČNEJ ÚROVNI SÚ PRETO ÚSTREDNÝMI CIEĽMI PROJEKTU, KTORÉHO INTERDISCIPLINÁRNY CHARAKTER KOMBINUJE ZÁKLADNÝ VÝSKUM V SKUPINÁCH, MONOIDOCH A POLOSKUPINÁCH S INÝMI PRACOVNÝMI LÍNIAMI TYPICKÝMI PRE POČÍTAČOVÉ VEDY AKO POUŽITIE METÓD COALGEBRAICOS PRI ŠTÚDIU NEKONEČNÝCH A NEPRAVIDELNÝCH JAZYKOV. (Slovak)
4 August 2022
0 references
TÄMÄN HANKKEEN PÄÄTAVOITTEENA ON EDISTÄÄ RAKENNEOSAAMINEN RYHMIEN JA SEMIGROUPS, RATKAISTA ALGEBRALLINEN ONGELMIA, JOTKA OVAT PERÄISIN SISÄLLÄ TEORIOITA ITSE JA TIETEENALOJEN ULKOPUOLELLA NIITÄ, KUTEN TEORIAN AUTOMATA JA MUODOLLISIA KIELIÄ. MONET NÄISTÄ ONGELMISTA VAATIVAT TYÖKALUJA JA TEKNIIKOITA ERITYISIÄ RYHMÄ LUOKAN TEORIOITA, TUNNETTU JA KÄYTETÄÄN SYSTEMAATTISESTI MONET JÄSENET TÄMÄN HANKKEEN YLI KAKSIKYMMENTÄ VUOTTA, JA EDUSTUSTOT RYHMIEN JA PUOLIRYHMIEN, SEKÄ KAAVIOITA LUONNOLLISESTI LIITTYVÄT NÄMÄ ALGEBRALLINEN RAKENTEITA. ANALYYSI TOISIINSA LIITTYVIEN ALARAKENTEIDEN VÄLISISTÄ SUHTEISTA, NIIDEN UPOTUKSESTA, MAHDOLLISISTA TEKIJÖISTÄ JA RYHMIEN JA PUOLIRYHMIEN VÄLISISTÄ VUOROVAIKUTUSSUHTEISTA RAKENNE- JA EDUSTUSTASOLLA OVAT NÄIN OLLEN HANKKEEN KESKEISIÄ TAVOITTEITA, JOIDEN POIKKITIETEELLINEN LUONNE YHDISTÄÄ PERUSTUTKIMUKSEN RYHMISSÄ, MONOIDEISSA JA PUOLIRYHMISSÄ MUIHIN TIETOTEKNISILLE TIETEENALOILLE TYYPILLISIIN TYÖLINJOIHIN, KOSKA COALGEBRAICOS-MENETELMIEN KÄYTTÖ EI-FINIITTISTEN AUTOMAATTISTEN JA EPÄSÄÄNNÖLLISTEN KIELTEN TUTKIMUKSESSA. (Finnish)
4 August 2022
0 references
GŁÓWNYM CELEM TEGO PROJEKTU JEST POGŁĘBIANIE WIEDZY STRUKTURALNEJ GRUP I PÓŁGRUP, ROZWIĄZYWANIE PROBLEMÓW ALGEBRAICZNYCH, KTÓRE MAJĄ SWOJE ŹRÓDŁO W SAMYCH TEORIACH I W ZEWNĘTRZNYCH DYSCYPLINACH, TAKICH JAK TEORIA AUTOMATÓW I JĘZYKÓW FORMALNYCH. WIELE Z TYCH PROBLEMÓW WYMAGA NARZĘDZI I TECHNIK SPECYFICZNYCH DLA TEORII KLAS GRUPOWYCH, ZNANYCH I SYSTEMATYCZNIE UŻYWANYCH PRZEZ KILKU CZŁONKÓW TEGO PROJEKTU OD PONAD DWUDZIESTU LAT, A TAKŻE REPREZENTACJI GRUP I PÓŁGRUP, A TAKŻE WYKRESÓW NATURALNIE ZWIĄZANYCH Z TYMI STRUKTURAMI ALGEBRAICZNYMI. ANALIZA RELACJI MIĘDZY POWIĄZANYMI PODSTRUKTURAMI, ICH ZANURZENIEM, MOŻLIWYMI CZYNNIKAMI I INTERAKCJAMI MIĘDZY GRUPAMI A PÓŁGRUPAMI NA POZIOMIE STRUKTURALNYM I REPREZENTACYJNYM SĄ ZATEM CENTRALNYMI CELAMI PROJEKTU, KTÓREGO INTERDYSCYPLINARNY CHARAKTER ŁĄCZY BADANIA PODSTAWOWE W GRUPACH, MONOIDACH I PÓŁGRUPACH Z INNYMI LINIAMI PRACY TYPOWYMI DLA NAUK KOMPUTEROWYCH JAKO WYKORZYSTANIE METOD COALGEBRAICOS W BADANIU JĘZYKÓW NIESKOŃCZONYCH I NIEREGULARNYCH. (Polish)
4 August 2022
0 references
A PROJEKT FŐ CÉLJA A CSOPORTOK ÉS FÉLCSOPORTOK SZERKEZETI ISMERETEINEK FEJLESZTÉSE, OLYAN ALGEBRAI PROBLÉMÁK MEGOLDÁSA, AMELYEK MAGUKBÓL AZ ELMÉLETEKBŐL EREDNEK, ÉS AZOKON KÍVÜLI TUDOMÁNYÁGAKBAN, PÉLDÁUL AZ AUTOMATÁK ÉS A FORMÁLIS NYELVEK ELMÉLETÉBEN. E PROBLÉMÁK KÖZÜL SOK A CSOPORTELMÉLETEKRE JELLEMZŐ ESZKÖZÖKET ÉS TECHNIKÁKAT IGÉNYLI, AMELYEKET A PROJEKT TÖBB MINT HÚSZ ÉVE RENDSZERESEN ISMERNEK ÉS HASZNÁLNAK, VALAMINT A CSOPORTOK ÉS FÉLCSOPORTOK, VALAMINT AZ EZEKHEZ AZ ALGEBRAI STRUKTÚRÁKHOZ TERMÉSZETESEN KAPCSOLÓDÓ GRÁFOK ÁBRÁZOLÁSA. A KAPCSOLÓDÓ ALSZERKEZETEK KÖZÖTTI KAPCSOLATOK ELEMZÉSE, AZOK MERÍTÉSE, LEHETSÉGES TÉNYEZŐI, VALAMINT STRUKTURÁLIS ÉS REPREZENTÁCIÓS SZINTEN A CSOPORTOK ÉS FÉLCSOPORTOK KÖZÖTTI KÖLCSÖNHATÁSOK ELEMZÉSE TEHÁT A PROJEKT KÖZPONTI CÉLKITŰZÉSE, AMELYNEK INTERDISZCIPLINÁRIS JELLEGE EGYESÍTI A CSOPORTOKBAN, MONOIDOKBAN ÉS FÉLCSOPORTOKBAN VÉGZETT ALAPKUTATÁSOKAT A SZÁMÍTÓGÉPES TUDOMÁNYOKRA JELLEMZŐ MÁS MUNKAVONALAKKAL, MINT A COALGEBRAICOS MÓDSZEREK ALKALMAZÁSA A NEM MEGHATÁROZOTT AUTOMATIKUS ÉS NEM RENDSZERES NYELVEK TANULMÁNYOZÁSÁBAN. (Hungarian)
4 August 2022
0 references
HLAVNÍM CÍLEM TOHOTO PROJEKTU JE ROZVÍJET STRUKTURÁLNÍ ZNALOSTI SKUPIN A POLOSKUPIN, ŘEŠIT ALGEBRAICKÉ PROBLÉMY, KTERÉ MAJÍ SVŮJ PŮVOD V RÁMCI SAMOTNÝCH TEORIÍ A V OBORECH MIMO NĚ, JAKO JE TEORIE AUTOMATY A FORMÁLNÍCH JAZYKŮ. MNOHÉ Z TĚCHTO PROBLÉMŮ VYŽADUJÍ NÁSTROJE A TECHNIKY SPECIFICKÉ PRO SKUPINY TŘÍD TEORIE, ZNÁMÉ A POUŽÍVAJÍ SYSTEMATICKY NĚKOLIKA ČLENY TOHOTO PROJEKTU PRO VÍCE NEŽ DVACET LET, A ZASTOUPENÍ SKUPIN A POLOSKUPIN, STEJNĚ JAKO GRAFY PŘIROZENĚ SPOJENÉ S TĚMITO ALGEBRAICKÝCH STRUKTUR. ANALÝZA VZTAHŮ MEZI SOUVISEJÍCÍMI PODSTRUKTURAMI, JEJICH PONOŘENÍ, MOŽNÉ FAKTORY A INTERAKCE MEZI SKUPINAMI A POLOSKUPINAMI NA STRUKTURÁLNÍ A REPREZENTAČNÍ ÚROVNI JSOU TEDY ÚSTŘEDNÍMI CÍLI PROJEKTU, JEHOŽ INTERDISCIPLINÁRNÍ CHARAKTER KOMBINUJE ZÁKLADNÍ VÝZKUM VE SKUPINÁCH, MONOIDECH A POLOSKUPINÁCH S DALŠÍMI LINIEMI PRÁCE TYPICKÝMI PRO INFORMATIKY JAKO VYUŽITÍ METOD COALGEBRAICOS PŘI STUDIU NEURČITÝCH AUTOMATŮ A NEREGULÉRNÍCH JAZYKŮ. (Czech)
4 August 2022
0 references
PROJEKTA GALVENAIS MĒRĶIS IR VEICINĀT GRUPU UN PUSGRUPU STRUKTURĀLĀS ZINĀŠANAS, RISINOT ALGEBRISKĀS PROBLĒMAS, KURU IZCELSME IR TEORIJĀS UN ĀRPUS TĀM ESOŠAJĀS DISCIPLĪNĀS, PIEMĒRAM, AUTOMATU UN OFICIĀLO VALODU TEORIJĀ. DAUDZAS NO ŠĪM PROBLĒMĀM PRASA INSTRUMENTUS UN PAŅĒMIENUS, KAS RAKSTURĪGI KLASES TEORIJĀM, KURUS VAIRĀKI ŠĀ PROJEKTA DALĪBNIEKI IR SISTEMĀTISKI PAZĪST UN IZMANTO JAU VAIRĀK NEKĀ DIVDESMIT GADUS, KĀ ARĪ GRUPU UN PUSGRUPU REPREZENTĀCIJAS, KĀ ARĪ GRAFIKUS, KAS DABISKI SAISTĪTI AR ŠĪM ALGEBRISKAJĀM STRUKTŪRĀM. TĀPĒC ATTIECĪBU ANALĪZE STARP SAISTĪTAJĀM APAKŠSTRUKTŪRĀM, TO IEGREMDĒŠANU, IESPĒJAMIEM FAKTORIEM UN MIJIEDARBĪBU STARP GRUPĀM UN PUSGRUPĀM STRUKTURĀLĀ UN REPREZENTĀCIJAS LĪMENĪ IR GALVENIE PROJEKTA MĒRĶI, KURA STARPDISCIPLINĀRAIS RAKSTURS APVIENO FUNDAMENTĀLOS PĒTĪJUMUS GRUPĀS, MONOIDOS UN PUSGRUPĀS AR CITĀM DARBA LĪNIJĀM, KAS RAKSTURĪGAS DATORZINĀTNĒM KĀ COALGEBRAICOS METOŽU IZMANTOŠANA NEFINITĒTU AUTOMATU UN NEREGULĀRU VALODU IZPĒTĒ. (Latvian)
4 August 2022
0 references
IS É PRÍOMHCHUSPÓIR AN TIONSCADAIL SEO EOLAS STRUCHTÚRACH GRÚPAÍ AGUS LEATHGHRÚPAÍ A CHUR CHUN CINN, FADHBANNA AILGÉABRACHA A RÉITEACH A BHFUIL A MBUNÚS LAISTIGH DE NA TEOIRICÍ FÉIN AGUS I NDISCIPLÍNÍ LASMUIGH DÓIBH AMHAIL TEOIRIC AUTOMATA AGUS TEANGACHA FOIRMIÚLA. ÉILÍONN GO LEOR DE NA FADHBANNA SEO NA HUIRLISÍ AGUS NA TEICNÍCÍ A BHAINEANN GO SONRACH LE TEOIRICÍ RANGA GRÚPA, AR A DTUGTAR AGUS A ÚSÁIDTEAR GO CÓRASACH AG ROINNT DE BHAILL AN TIONSCADAIL SEO AR FEADH NÍOS MÓ NÁ FICHE BLIAIN, AGUS LÉIRITHE GRÚPAÍ AGUS LEATHGHRÚPAÍ, CHOMH MAITH LE GRAIF A BHAINEANN GO NÁDÚRTHA LEIS NA STRUCHTÚIR AILGÉABRACHA SEO. DÁ BHRÍ SIN, TÁ AN ANAILÍS AR AN GCAIDREAMH IDIR NA FOSTRUCHTÚIR GHAOLMHARA, A DTUMADH, FACHTÓIRÍ FÉIDEARTHA AGUS IDIRGHNÍOMHAÍOCHTAÍ IDIR GRÚPAÍ AGUS LEATHGHRÚPAÍ AR AN LEIBHÉAL STRUCHTÚRACH AGUS IONADAÍOCHTA MAR PHRÍOMHCHUSPÓIRÍ AN TIONSCADAIL A GCOMHCHEANGLAÍONN A CHARACHTAR IDIRDHISCIPLÍNEACH TAIGHDE BUNÚSACH I NGRÚPAÍ, MONOIDS AGUS LEATHGHRÚPAÍ LE LÍNTE EILE OIBRE IS GNÁCH AR RÍOMHEOLAÍOCHTAÍ MAR ÚSÁID A BHAINT AS MODHANNA COALGEBRAICOS CHUN STAIDÉAR A DHÉANAMH AR THEANGACHA AUTOMATA AGUS NEAMHRIALTA NACH BHFUIL CRÍOCHTA. (Irish)
4 August 2022
0 references
GLAVNI CILJ TEGA PROJEKTA JE NAPREDOVATI STRUKTURNO ZNANJE SKUPIN IN POLSKUPIN, REŠEVATI ALGEBRSKE PROBLEME, KI IZVIRAJO IZ SAMIH TEORIJ IN V DISCIPLINAH ZUNAJ NJIH, KOT JE TEORIJA AVTOMATIKE IN FORMALNIH JEZIKOV. VELIKO TEH PROBLEMOV ZAHTEVA ORODJA IN TEHNIKE, SPECIFIČNE ZA SKUPINSKE TEORIJE RAZREDOV, KI JIH VEČ KOT DVAJSET LET SISTEMATIČNO POZNA IN UPORABLJA VEČ ČLANOV TEGA PROJEKTA, TER PREDSTAVITVE SKUPIN IN POLSKUPIN TER GRAFI, KI SO NARAVNO POVEZANI S TEMI ALGEBRSKIMI STRUKTURAMI. ANALIZA ODNOSOV MED POVEZANIMI PODSTRUKTURAMI, NJIHOVA POTOPITEV, MOŽNI DEJAVNIKI IN INTERAKCIJE MED SKUPINAMI IN POLSKUPINAMI NA STRUKTURNI IN REPREZENTANČNI RAVNI SO ZATO OSREDNJI CILJI PROJEKTA, KATEREGA INTERDISCIPLINARNI ZNAČAJ ZDRUŽUJE TEMELJNE RAZISKAVE V SKUPINAH, MONOIDIH IN POLSKUPINAH Z DRUGIMI VRSTAMI DELA, ZNAČILNIMI ZA RAČUNALNIŠKE VEDE, KOT JE UPORABA METOD COALGEBRAICOS PRI ŠTUDIJU NEDOKONČNIH AVTOMATSKIH IN NEREDNIH JEZIKOV. (Slovenian)
4 August 2022
0 references
ОСНОВНАТА ЦЕЛ НА ТОЗИ ПРОЕКТ Е ДА СЕ УСКОРИ СТРУКТУРНОТО ПОЗНАНИЕ НА ГРУПИ И SEMIGROUPS, РЕШАВАНЕ НА АЛГЕБРИЧНИ ПРОБЛЕМИ, КОИТО ИМАТ СВОЯ ПРОИЗХОД В САМИТЕ ТЕОРИИ И В ДИСЦИПЛИНИ, ВЪНШНИ ЗА ТЯХ, КАТО ТЕОРИЯТА НА АВТОМАТИТЕ И ОФИЦИАЛНИТЕ ЕЗИЦИ. МНОГО ОТ ТЕЗИ ПРОБЛЕМИ ИЗИСКВАТ ИНСТРУМЕНТИ И ТЕХНИКИ, СПЕЦИФИЧНИ ЗА ГРУПАТА КЛАС ТЕОРИИ, ИЗВЕСТНИ И ИЗПОЛЗВАНИ СИСТЕМАТИЧНО ОТ НЯКОЛКО ОТ ЧЛЕНОВЕТЕ НА ТОЗИ ПРОЕКТ В ПРОДЪЛЖЕНИЕ НА ПОВЕЧЕ ОТ ДВАДЕСЕТ ГОДИНИ, КАКТО И ПРЕДСТАВЯНЕ НА ГРУПИ И ПОЛУ-ГРУПИ, КАКТО И ГРАФИКИ, ЕСТЕСТВЕНО СВЪРЗАНИ С ТЕЗИ АЛГЕБРИЧНИ СТРУКТУРИ. АНАЛИЗЪТ НА ОТНОШЕНИЯТА МЕЖДУ СВЪРЗАНИТЕ ПОДСТРУКТУРИ, ТЯХНОТО ПОТАПЯНЕ, ВЪЗМОЖНИТЕ ФАКТОРИ И ВЗАИМОДЕЙСТВИЯ МЕЖДУ ГРУПИ И ПОЛУГРУПИ НА СТРУКТУРНО И ПРЕДСТАВИТЕЛНО НИВО СА ОСНОВНИ ЦЕЛИ НА ПРОЕКТА, ЧИЙТО ИНТЕРДИСЦИПЛИНАРЕН ХАРАКТЕР СЪЧЕТАВА ФУНДАМЕНТАЛНИ ИЗСЛЕДВАНИЯ В ГРУПИ, МОНОИДНИ И ПОЛУГРУПИ С ДРУГИ РАБОТНИ ЛИНИИ, ТИПИЧНИ ЗА КОМПЮТЪРНИТЕ НАУКИ КАТО ИЗПОЛЗВАНЕ НА МЕТОДИТЕ COALGEBRAICOS ПРИ ИЗУЧАВАНЕТО НА НЕКРАЙНИ АВТОМАТИ И НЕРЕДОВНИ ЕЗИЦИ. (Bulgarian)
4 August 2022
0 references
L-GĦAN EWLIENI TA’ DAN IL-PROĠETT HUWA LI JAVVANZA L-GĦARFIEN STRUTTURALI TA’ GRUPPI U SEMIGRUPPI, ISOLVI PROBLEMI ALĠEBRAJĊI LI JORIĠINAW FIT-TEORIJI NFUSHOM U F’DIXXIPLINI ESTERNI GĦALIHOM BĦAT-TEORIJA TAL-AWTOMATA U L-LINGWI FORMALI. ĦAFNA MINN DAWN IL-PROBLEMI JEĦTIEĠU L-GĦODOD U T-TEKNIKI SPEĊIFIĊI GĦAT-TEORIJI TAL-KLASSI, MAGĦRUFA U UŻATI SISTEMATIKAMENT MINN DIVERSI MEMBRI TA’ DAN IL-PROĠETT GĦAL AKTAR MINN GĦOXRIN SENA, U RAPPREŻENTAZZJONIJIET TA’ GRUPPI U SEMI-GRUPPI, KIF UKOLL GRAFFS ASSOĊJATI B’MOD NATURALI MA’ DAWN L-ISTRUTTURI ALĠEBRAJĊI. L-ANALIŻI TAR-RELAZZJONIJIET BEJN IS-SUBSTRUTTURI ASSOĊJATI, L-IMMERSJONI TAGĦHOM, IL-FATTURI POSSIBBLI U L-INTERAZZJONIJIET BEJN IL-GRUPPI U S-SEMIGRUPPI FIL-LIVELL STRUTTURALI U RAPPREŻENTAZZJONI HUMA GĦALHEKK GĦANIJIET ĊENTRALI TAL-PROĠETT LI L-KARATTRU INTERDIXXIPLINARI TIEGĦU JGĦAQQAD IR-RIĊERKA BAŻIKA FI GRUPPI, MONOIDS U SEMIGRUPPI MA’ LINJI OĦRA TA’ XOGĦOL TIPIĊI TAX-XJENZI TAL-KOMPJUTER BĦALA L-UŻU TA’ METODI COALGEBRAICOS FL-ISTUDJU TA’ AWTOMATA MHUX FINALI U LINGWI MHUX REGOLARI. (Maltese)
4 August 2022
0 references
O PRINCIPAL OBJETIVO DESTE PROJETO É PROMOVER O CONHECIMENTO ESTRUTURAL DE GRUPOS E SEMIGRUPOS, RESOLVENDO PROBLEMAS ALGÉBRICOS QUE TÊM SUA ORIGEM DENTRO DAS PRÓPRIAS TEORIAS E EM DISCIPLINAS EXTERNAS A ELAS, COMO A TEORIA DOS AUTÔMATOS E AS LINGUAGENS FORMAIS. MUITOS DESSES PROBLEMAS EXIGEM AS FERRAMENTAS E TÉCNICAS ESPECÍFICAS PARA TEORIAS DE CLASSES DE GRUPO, CONHECIDAS E USADAS SISTEMATICAMENTE POR VÁRIOS DOS MEMBROS DESTE PROJETO POR MAIS DE VINTE ANOS, E REPRESENTAÇÕES DE GRUPOS E SEMIGRUPOS, BEM COMO GRÁFICOS NATURALMENTE ASSOCIADOS A ESSAS ESTRUTURAS ALGÉBRICAS. A ANÁLISE DAS RELAÇÕES ENTRE AS SUBESTRUTURAS ASSOCIADAS, SUA IMERSÃO, POSSÍVEIS FATORES E INTERAÇÕES ENTRE GRUPOS E SEMIGRUPOS EM NÍVEL ESTRUTURAL E REPRESENTACIONAL SÃO, PORTANTO, OBJETIVOS CENTRAIS DO PROJETO CUJO CARÁTER INTERDISCIPLINAR COMBINA PESQUISA BÁSICA EM GRUPOS, MONOIDES E SEMIGRUPOS COM OUTRAS LINHAS DE TRABALHO TÍPICAS DAS CIÊNCIAS DA COMPUTAÇÃO COMO O USO DOS MÉTODOS COALGEBRAICOS NO ESTUDO DE AUTÔMATOS NÃO-FINITOS E LINGUAGENS NÃO REGULARES. (Portuguese)
4 August 2022
0 references
HOVEDFORMÅLET MED DETTE PROJEKT ER AT FREMME DEN STRUKTURELLE VIDEN OM GRUPPER OG SEMIGRUPPER, LØSE ALGEBRAISKE PROBLEMER, DER HAR DERES OPRINDELSE I TEORIER SELV OG I DISCIPLINER UDEN FOR DEM, SÅSOM TEORIEN OM AUTOMATA OG FORMELLE SPROG. MANGE AF DISSE PROBLEMER KRÆVER DE VÆRKTØJER OG TEKNIKKER, DER ER SPECIFIKKE FOR GRUPPE KLASSE TEORIER, KENDT OG ANVENDES SYSTEMATISK AF FLERE AF MEDLEMMERNE AF DETTE PROJEKT I MERE END TYVE ÅR, OG REPRÆSENTATIONER AF GRUPPER OG SEMI-GRUPPER, SAMT GRAFER NATURLIGT FORBUNDET MED DISSE ALGEBRAISKE STRUKTURER. ANALYSEN AF RELATIONERNE MELLEM DE TILKNYTTEDE UNDERSTRUKTURER, DERES NEDSÆNKNING, MULIGE FAKTORER OG INTERAKTIONER MELLEM GRUPPER OG SEMIGRUPPER PÅ STRUKTURELT OG REPRÆSENTATIONSMÆSSIGT NIVEAU ER DERFOR CENTRALE MÅL FOR PROJEKTET, HVIS TVÆRFAGLIGE KARAKTER KOMBINERER GRUNDFORSKNING I GRUPPER, MONOIDER OG SEMIGRUPPER MED ANDRE ARBEJDSLINJER, DER ER TYPISKE FOR DATALOGI, SOM BRUGEN AF COALGEBRAICOS-METODER I STUDIET AF IKKE-ENDELIGE AUTOMATA- OG IKKE-REGELMÆSSIGE SPROG. (Danish)
4 August 2022
0 references
OBIECTIVUL PRINCIPAL AL ACESTUI PROIECT ESTE DE A AVANSA CUNOȘTINȚELE STRUCTURALE ALE GRUPURILOR ȘI SEMIGRUPURILOR, REZOLVAREA PROBLEMELOR ALGEBRICE CARE ÎȘI AU ORIGINEA ÎN TEORIILE PROPRIU-ZISE ȘI ÎN DISCIPLINELE EXTERIOARE ACESTORA, CUM AR FI TEORIA AUTOMATIZĂRII ȘI A LIMBILOR FORMALE. MULTE DINTRE ACESTE PROBLEME NECESITĂ INSTRUMENTE ȘI TEHNICI SPECIFICE TEORIILOR CLASELOR DE GRUP, CUNOSCUTE ȘI UTILIZATE SISTEMATIC DE MAI MULȚI DINTRE MEMBRII ACESTUI PROIECT PENTRU MAI MULT DE DOUĂZECI DE ANI, ȘI REPREZENTĂRI DE GRUPURI ȘI SEMI-GRUPURI, PRECUM ȘI GRAFICE ASOCIATE ÎN MOD NATURAL CU ACESTE STRUCTURI ALGEBRICE. ANALIZA RELAȚIILOR DINTRE SUBSTRUCTURILE ASOCIATE, IMERSIUNEA ACESTORA, POSIBILII FACTORI ȘI INTERACȚIUNILE DINTRE GRUPURI ȘI SEMIGRUPURI LA NIVEL STRUCTURAL ȘI REPREZENTATIV SUNT, PRIN URMARE, OBIECTIVE CENTRALE ALE PROIECTULUI, AL CĂRUI CARACTER INTERDISCIPLINAR COMBINĂ CERCETAREA DE BAZĂ ÎN GRUPURI, MONOIDE ȘI SEMIGRUPURI CU ALTE LINII DE LUCRU TIPICE INFORMATICII CA UTILIZAREA METODELOR COALGEBRAICOS ÎN STUDIUL AUTOMATELOR NON-FINITE ȘI AL LIMBILOR NON-REGULATE. (Romanian)
4 August 2022
0 references
HUVUDSYFTET MED DETTA PROJEKT ÄR ATT FRÄMJA STRUKTURELLA KUNSKAPER I GRUPPER OCH SEMIGRUPPER, LÖSA ALGEBRAISKA PROBLEM SOM HAR SITT URSPRUNG INOM SJÄLVA TEORIERNA OCH INOM DISCIPLINER UTANFÖR DEM SÅSOM TEORIN OM AUTOMATER OCH FORMELLA SPRÅK. MÅNGA AV DESSA PROBLEM KRÄVER DE VERKTYG OCH TEKNIKER SOM ÄR SPECIFIKA FÖR GRUPPKLASSTEORIER, KÄNDA OCH ANVÄNDA SYSTEMATISKT AV FLERA AV MEDLEMMARNA I DETTA PROJEKT UNDER MER ÄN TJUGO ÅR, OCH REPRESENTATIONER AV GRUPPER OCH SEMIGRUPPER, SAMT DIAGRAM SOM NATURLIGT FÖRKNIPPAS MED DESSA ALGEBRAISKA STRUKTURER. ANALYSEN AV RELATIONERNA MELLAN DE TILLHÖRANDE UNDERSTRUKTURERNA, DERAS NEDSÄNKNING, MÖJLIGA FAKTORER OCH INTERAKTIONER MELLAN GRUPPER OCH SEMIGRUPPER PÅ STRUKTUR- OCH REPRESENTATIONSNIVÅ ÄR DÄRFÖR CENTRALA MÅL FÖR PROJEKTET VARS TVÄRVETENSKAPLIGA KARAKTÄR KOMBINERAR GRUNDFORSKNING I GRUPPER, MONOIDER OCH SEMIGRUPPER MED ANDRA ARBETSLINJER SOM ÄR TYPISKA FÖR DATAVETENSKAPER SOM ANVÄNDNING AV COALGEBRAICOS-METODER I STUDIET AV ICKE-FINITA AUTOMATER OCH ICKE-REGULJÄRA SPRÅK. (Swedish)
4 August 2022
0 references
Burjassot
0 references
20 December 2023
0 references
Identifiers
MTM2014-54707-C3-1-P
0 references