Defining Contexts in Context-Free Grammars

This thesis introduces an extension of Chomsky’s context-free grammars equipped with operators for referring to left and right contexts of strings.The new model is called grammar with contexts. The semantics of these grammars are given in two equivalent ways — by language equations and by logical deduction, where a grammar is understood as a logic for the recursive definition of syntax. The motivation for grammars with contexts comes from an extensive example that completely defines the syntax and static semantics of a simple typed programming language. Grammars with contexts maintain most important practical properties of context-free grammars, including a variant of the Chomsky normal form. For grammars with one-sided contexts (that is, either left or right), there is a cubic-time tabular parsing algorithm, applicable to an arbitrary grammar. The time complexity of this algorithm can be improved to quadratic,provided that the grammar is unambiguous, that is, it only allows one parsefor every string it defines. A tabular parsing algorithm for grammars withtwo-sided contexts has fourth power time complexity. For these grammarsthere is a recognition algorithm that uses a linear amount of space. For certain subclasses of grammars with contexts there are low-degree polynomial parsing algorithms. One of them is an extension of the classical recursive descent for context-free grammars; the version for grammars with contexts still works in linear time like its prototype. Another algorithm, with time complexity varying from linear to cubic depending on the particular grammar, adapts deterministic LR parsing to the new model. If all context operators in a grammar define regular languages, then such a grammar can be transformed to an equivalent grammar without context operators at all. This allows one to represent the syntax of languages in a more succinct way by utilizing context specifications. Linear grammars with contexts turned out to be non-trivial already over a one-letter alphabet. This fact leads to some undecidability results for this family of grammars

The role of auditors in the Finnish limited liability companies as to solvency test in the context of asset distribution

Suomen osakeyhtiölain mukaan varoja ei saa jakaa, jos jaosta päätettäessä tiedetään tai pitäisi tietää yhtiön olevan maksukyvytön tai jaon aiheuttavan maksukyvyttömyyden. Ongelmallista on, että maksukykyä ei ole selvästi määritelty laissa tai hallituksen esityksessä. Tilintarkastuslain mukaan tilintarkastajan on siten huomautettava, jos maksukykytestiä on rikottu, mutta tilintarkastaja joutuu yleensä määrittelemään tällaiset huomauttamista vaativat tilanteet itse. Maksukykytestistä on kirjoitettu suomalaisessa yhtiöoikeuden ja laskentatoimen kirjallisuudessa melko kattavasti. Kuitenkin tilintarkastajaa koskeva näkökulma on saanut osakseen suhteellisen vähän huomiota. Tästä näkökulmasta on kirjoitettu vain joitakin korkeakoulujen tutkielmia sekä lyhyehköjä ammatillisia seminaariesityksiä. Tämän tutkielman tavoitteena on ollut koota laaja yleiskuva siitä, miten tilintarkastajat itse kokevat asemansa ja tehtävänsä yllä kuvatuissa tilanteessa. Tutkielmassa on käyty läpi aikaisempaa yhtiöoikeuden ja laskentatoimen kirjallisuudessa ja seminaariesityksissä esitettyä aineistoa. Lisäksi tutkielmaa varten tehtiin suomalaisille tilintarkastajille kohdennettu Internet-pohjainen kysely. Tutkielma selkeyttää kuvaa siitä, miten tilintarkastajat toimivat yllä kuvatussa tilanteessa ja miten he ovat sopeuttaneet toimiaan yhteiskunnan institutionaalisen asetelman muututtua. Kirjallisuuden pohjalta tapahtuva teoreettinen analyysi on yhdistetty kyselyyn siitä, miten tilintarkastajat käytännössä toimivat. Tutkimuksen perustana olevaa tietoa on analysoitu pääosin kyselytutkimuksen menetelmin, mutta myös tilastollisen tutkimuksen menetelmiä on käytetty. Tutkielman tuloksena tutkielmassa selvitetään tilintarkastajan tehtäviä maksukykytestin yhteydessä. Tuloksena voidaan myös todeta, että tilintarkastaja ei suorita varojenjaossa tarvittavan maksukyvyn arvioinnin kannalta keskeisiä tarkastustoimenpiteitä ainoastaan tilikauden päättymisen jälkeen. Päinvastoin, tällaisia tarkastustoimenpiteitä suoritetaan enemmän tai vähemmän koko tilintarkastuksen aikana. Lisäksi vaikuttaisi siltä, että tilintarkastajan oma suhtautuminen maksukykytestiin on ainakin jossain määrin merkityksellinen sen kannalta, kuinka paljon tarkastustoimenpiteitä tehdään ja kuinka paljon maksukyvystä ja siihen liittyvistä puutteista raportoidaan yhtiön johdolle.

Content marketing performance measurement system in the context of customer acquisition

This thesis examines how content marketing is used in B2B customer acquisition and how content marketing performance measurement system is built and utilized in this context. Literature related to performance measurement, branding and buyer behavior is examined in the theoretical part in order to identify the elements influence on content marketing performance measurement design and usage. Qualitative case study is chosen in order to gain deep understanding of the phenomenon studied. The case company is a Finnish software vendor, which operates in B2B markets and has practiced content marketing for approximately two years. The in-depth interviews were conducted with three employees from marketing department. According to findings content marketing performance measurement system’s infrastructure is based on target market’s decision making processes, company’s own customer acquisition process, marketing automation tool and analytics solutions. The main roles of content marketing performance measurement system are measuring performance, strategy management and learning and improvement. Content marketing objectives in the context of customer acquisition are enhancing brand awareness, influencing brand attitude and lead generation. Both non-financial and financial outcomes are assessed by single phase specific metrics, phase specific overall KPIs and ratings related to lead’s involvement.

Becoming-singer : cartographies of singing, music-making and opera

Milla Tiaisen väitöskirja Becoming-singer : cartographies of singing, music-making and opera tarkastettiin Turun yliopistossa 28.4. Vastaväittäjänä toimi Professori Amy Herzog (CUNY) ja kustoksena professori John Richardson.

Utilizing analytic modelling process in industrial retail context

Nykypäivän monimutkaisessa ja epävakaassa liiketoimintaympäristössä yritykset, jotka kykenevät muuttamaan tuottamansa operatiivisen datan tietovarastoiksi, voivat saavuttaa merkittävää kilpailuetua. Ennustavan analytiikan hyödyntäminen tulevien trendien ennakointiin mahdollistaa yritysten tunnistavan avaintekijöitä, joiden avulla he pystyvät erottumaan kilpailijoistaan. Ennustavan analytiikan hyödyntäminen osana päätöksentekoprosessia mahdollistaa ketterämmän, reaaliaikaisen päätöksenteon. Tämän diplomityön tarkoituksena on koota teoreettinen viitekehys analytiikan mallintamisesta liike-elämän loppukäyttäjän näkökulmasta ja hyödyntää tätä mallinnusprosessia diplomityön tapaustutkimuksen yritykseen. Teoreettista mallia hyödynnettiin asiakkuuksien mallintamisessa sekä tunnistamalla ennakoivia tekijöitä myynnin ennustamiseen. Työ suoritettiin suomalaiseen teollisten suodattimien tukkukauppaan, jolla on liiketoimintaa Suomessa, Venäjällä ja Balteissa. Tämä tutkimus on määrällinen tapaustutkimus, jossa tärkeimpänä tiedonkeruumenetelmänä käytettiin tapausyrityksen transaktiodataa. Data työhön saatiin yrityksen toiminnanohjausjärjestelmästä.