Some applications of the formalization of the pumping lemma for context-free languages

Context-free languages are highly important in computer language processing technology as well as in formal language theory. The Pumping Lemma for Context-Free Languages states a property that is valid for all context-free languages, which makes it a tool for showing the existence of non-context-free languages. This paper presents a formalization, extending the previously formalized Lemma, of the fact that several well-known languages are not context-free. Moreover, we build on those results to construct a formal proof of the well-known property that context-free languages are not closed under intersection. All the formalization has been mechanized in the Coq proof assistant.- (undefined

Art déco e indústria: Brasil, décadas de 1930 e 1940

Este artigo analisa as características assumidas pela arquitetura de tendência art déco em construções ligadas à indústria - moradias, igrejas, escolas, clubes, fábricas etc. - erguidas no Brasil nas décadas de 1930 e 1940, investigando o repertório formal utilizado em diferentes tipologias. Faz uma análise mais detalhada das construções criadas pela Companhia Industrial Fiação de Tecidos Goyanna, em Pernambuco, no período entre 1937 e o final da década de 1940. Trata-se de um conjunto notável pela unidade formal, vinculada à linguagem art déco, e pelo emprego de soluções inovadoras em termos de forma e de programa.The aim of this article is to analyze the characteristics of Art Deco tendencies in buildings related to the industry - as houses, churches, schools, clubs, plants etc - in Brazil during the 1930s and 1940s. It studies the formal repertory used in different types of construction and develops a more detailed analysis of a complex of constructions by the firm Companhia Industrial Fiação de Tecidos Goyanna, in the state of Pernambuco, built during the period between 1937 and the end of 1940s. The presented group of constructions is notable for the formal coherence, associated with the Art Deco language, and for the use of innovative program and form solutions