Skip to content

Commit 6593474

Browse files
postylempostylem
committed
nivre post up [ci skip]
1 parent 555bb21 commit 6593474

File tree

69 files changed

+5295
-2329
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

69 files changed

+5295
-2329
lines changed

‎.jekyll-cache/Jekyll/Cache/Jekyll--Cache/b7/9606fb3afea5bd1609ed40b622142f1c98125abcfe89a76a661b0e8e343910

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.jekyll-cache/Jekyll/Cache/Jekyll--Converters--Markdown/d3/11b00f64884bb4612673b605ed69f6a2229ffb76c96cb4df4ea976a165626f

Lines changed: 0 additions & 2 deletions
This file was deleted.

‎2018/11/15/eq-FSA-MSOL.html

Lines changed: 203 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,203 @@
1+
<!DOCTYPE html>
2+
<html>
3+
4+
<head>
5+
<!-- Global site tag (gtag.js) - Google Analytics -->
6+
<script async src="https://www.googletagmanager.com/gtag/js?id=G-WR9S0121FQ"></script>
7+
<script>
8+
window.dataLayer = window.dataLayer || [];
9+
function gtag(){dataLayer.push(arguments);}
10+
gtag('js', new Date());gtag('config', 'G-WR9S0121FQ');
11+
</script>
12+
13+
<meta charset="utf-8">
14+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
15+
<meta name="viewport" content="width=device-width, initial-scale=1">
16+
17+
<title>An equivalence between generative automata and logical constraints</title>
18+
<meta name="description" content="I gave a presentation to MCQLL, on an an example of the duality of generative systems and constraint-based systems. The particular example I discussed was a...">
19+
20+
21+
<link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css">
22+
<script>
23+
window.klipse_settings = {
24+
selector: '.language-eval-clojure', // css selector for the html elements you want to klipsify
25+
selector_reagent: '.language-reagent', // selector for reagent snippets
26+
editor_type: 'codemirror',
27+
codemirror_options_in: {
28+
indentUnit: 2,
29+
lineWrapping: true,
30+
lineNumbers: true,
31+
autoCloseBrackets: true
32+
},
33+
codemirror_options_out: {
34+
lineWrapping: true,
35+
lineNumbers: false,
36+
readOnly: "true"
37+
},
38+
// clojure_cached_macro_ns_regexp: /reagent.*/, // the regexp for clojure macro namespaces that are cached
39+
// clojure_cached_ns_regexp: /reagent.*/, // the regexp for clojure namespaces that are cached
40+
};
41+
</script>
42+
43+
<!-- Import Vega 5 & Vega-Lite 3 (does not have to be from CDN) -->
44+
<script src="https://cdn.jsdelivr.net/npm/vega@5"></script>
45+
<script src="https://cdn.jsdelivr.net/npm/vega-lite@3"></script>
46+
<!-- Import vega-embed -->
47+
<script src="https://cdn.jsdelivr.net/npm/vega-embed"></script>
48+
<!-- FOR KATEX (https://stackoverflow.com/a/57370526/1676393) -->
49+
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-yFRtMMDnQtDRO8rLpMIKrtPCD5jdktao2TV19YiZYWMDkUR5GQZR/NOVTdquEx1j" crossorigin="anonymous">
50+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.js" integrity="sha384-9Nhn55MVVN0/4OFx7EE5kpFBPsEMZxKTCnA+4fqDmg12eCTqGi6+BB2LjY8brQxJ" crossorigin="anonymous"></script>
51+
<script defer src="https://cdn.jsdelivr.net/npm/[email protected]/dist/contrib/auto-render.min.js" integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous" onload="renderMathInElement(document.body);"></script>
52+
53+
54+
<link rel="stylesheet" href="/css/main.css">
55+
<link rel="canonical" href="https://jahoo.github.io/2018/11/15/eq-FSA-MSOL.html">
56+
<link rel="alternate" type="application/rss+xml" title="jacob louis hoover" href="https://jahoo.github.io/feed.xml">
57+
58+
</head>
59+
60+
61+
<body>
62+
63+
<header class="site-header">
64+
65+
<div class="wrapper">
66+
67+
<a class="site-title" href="/">jacob louis hoover</a>
68+
69+
<nav class="site-nav">
70+
<a href="#" class="menu-icon">
71+
<svg viewBox="0 0 18 15">
72+
<path fill="#424242" d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.031C17.335,0,18,0.665,18,1.484L18,1.484z"/>
73+
<path fill="#424242" d="M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0c0-0.82,0.665-1.484,1.484-1.484 h15.031C17.335,6.031,18,6.696,18,7.516L18,7.516z"/>
74+
<path fill="#424242" d="M18,13.516C18,14.335,17.335,15,16.516,15H1.484C0.665,15,0,14.335,0,13.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.031C17.335,12.031,18,12.696,18,13.516L18,13.516z"/>
75+
</svg>
76+
</a>
77+
78+
<div class="trigger">
79+
80+
81+
82+
83+
<a class="page-link" href="/">about</a>
84+
85+
86+
87+
88+
89+
<a class="page-link" href="/posts.html">posts</a>
90+
91+
92+
93+
<a class="page-link" href="/pubs.html">pubs</a>
94+
95+
96+
97+
98+
99+
100+
</div>
101+
</nav>
102+
103+
</div>
104+
105+
</header>
106+
107+
108+
<div class="page-content">
109+
<div class="wrapper">
110+
<article class="post" itemscope itemtype="http://schema.org/BlogPosting">
111+
112+
<header class="post-header">
113+
<h1 class="post-title" itemprop="name headline">
114+
An equivalence between generative automata and logical constraints
115+
</h1>
116+
<span class="post-meta">
117+
<time datetime="2018-11-15T00:00:00-05:00" itemprop="datePublished">
118+
15 Nov 2018
119+
</time>
120+
121+
</span>
122+
<span class="post-tags">
123+
124+
- presentation
125+
126+
</span>
127+
</header>
128+
129+
<div class="post-content" itemprop="articleBody">
130+
<p>I gave a presentation to <a href="https://mcqll.org/">MCQLL</a>, on an an example of the duality of generative systems and constraint-based systems. The particular example I discussed was a proof of the equivalence in expressive power between Finite state automata (FSA) and monadic second order logic (with a successor function; MSOL[<em>S</em>]). That is, I presented the proof that any language for which there exists an FSA can be described equivalently using constraints written in MSOL[<em>S</em>].</p>
131+
132+
<p>My slides are <a href="/assets/pdfs/2018.11.15-generative_vs_constraint.pdf">here</a>.</p>
133+
134+
</div>
135+
136+
</article>
137+
138+
</div>
139+
</div>
140+
141+
<footer class="site-footer">
142+
143+
<div class="wrapper">
144+
145+
<!-- <h2 class="footer-heading">jacob louis hoover</h2> -->
146+
147+
<!-- <div class="footer-col-wrapper">
148+
<div class="footer-col footer-col-1">
149+
<ul class="contact-list">
150+
<li>jacob louis hoover</li>
151+
<li><a href="mailto:[email protected]">[email protected]</a></li>
152+
</ul>
153+
</div>
154+
155+
<div class="footer-col footer-col-2">
156+
<ul class="social-media-list">
157+
158+
<li>
159+
<a href="https://github.com/postylem"><span class="icon icon--github"><svg viewBox="0 0 16 16"><path fill="#828282" d="M7.999,0.431c-4.285,0-7.76,3.474-7.76,7.761 c0,3.428,2.223,6.337,5.307,7.363c0.388,0.071,0.53-0.168,0.53-0.374c0-0.184-0.007-0.672-0.01-1.32 c-2.159,0.469-2.614-1.04-2.614-1.04c-0.353-0.896-0.862-1.135-0.862-1.135c-0.705-0.481,0.053-0.472,0.053-0.472 c0.779,0.055,1.189,0.8,1.189,0.8c0.692,1.186,1.816,0.843,2.258,0.645c0.071-0.502,0.271-0.843,0.493-1.037 C4.86,11.425,3.049,10.76,3.049,7.786c0-0.847,0.302-1.54,0.799-2.082C3.768,5.507,3.501,4.718,3.924,3.65 c0,0,0.652-0.209,2.134,0.796C6.677,4.273,7.34,4.187,8,4.184c0.659,0.003,1.323,0.089,1.943,0.261 c1.482-1.004,2.132-0.796,2.132-0.796c0.423,1.068,0.157,1.857,0.077,2.054c0.497,0.542,0.798,1.235,0.798,2.082 c0,2.981-1.814,3.637-3.543,3.829c0.279,0.24,0.527,0.713,0.527,1.437c0,1.037-0.01,1.874-0.01,2.129 c0,0.208,0.14,0.449,0.534,0.373c3.081-1.028,5.302-3.935,5.302-7.362C15.76,3.906,12.285,0.431,7.999,0.431z"/></svg>
160+
</span><span class="username">postylem</span></a>
161+
162+
</li>
163+
164+
165+
166+
<li>
167+
<a href="https://twitter.com/postylem"><span class="icon icon--twitter"><svg viewBox="0 0 16 16"><path fill="#828282" d="M15.969,3.058c-0.586,0.26-1.217,0.436-1.878,0.515c0.675-0.405,1.194-1.045,1.438-1.809c-0.632,0.375-1.332,0.647-2.076,0.793c-0.596-0.636-1.446-1.033-2.387-1.033c-1.806,0-3.27,1.464-3.27,3.27 c0,0.256,0.029,0.506,0.085,0.745C5.163,5.404,2.753,4.102,1.14,2.124C0.859,2.607,0.698,3.168,0.698,3.767 c0,1.134,0.577,2.135,1.455,2.722C1.616,6.472,1.112,6.325,0.671,6.08c0,0.014,0,0.027,0,0.041c0,1.584,1.127,2.906,2.623,3.206 C3.02,9.402,2.731,9.442,2.433,9.442c-0.211,0-0.416-0.021-0.615-0.059c0.416,1.299,1.624,2.245,3.055,2.271 c-1.119,0.877-2.529,1.4-4.061,1.4c-0.264,0-0.524-0.015-0.78-0.046c1.447,0.928,3.166,1.469,5.013,1.469 c6.015,0,9.304-4.983,9.304-9.304c0-0.142-0.003-0.283-0.009-0.423C14.976,4.29,15.531,3.714,15.969,3.058z"/></svg>
168+
</span><span class="username">postylem</span></a>
169+
170+
</li>
171+
172+
</ul>
173+
</div>
174+
175+
<div class="footer-col footer-col-3">
176+
<p>PhD student in linguistics at McGill University and Mila Québec AI Institute, Montréal.
177+
</p>
178+
</div>
179+
</div> -->
180+
181+
</div>
182+
183+
</footer>
184+
185+
<!-- Global site tag (gtag.js) - Google Analytics -->
186+
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-140260727-1"></script>
187+
<script>
188+
window.dataLayer = window.dataLayer || [];
189+
function gtag(){dataLayer.push(arguments);}
190+
gtag('js', new Date());
191+
192+
gtag('config', 'UA-140260727-1');
193+
</script>
194+
195+
196+
<script src="https://storage.googleapis.com/app.klipse.tech/plugin/js/klipse_plugin.js"></script>
197+
</body>
198+
<script src="https://code.jquery.com/jquery-3.3.1.min.js"></script>
199+
200+
<!-- Load Common JS (for custom things like abstract hidden / open) -->
201+
<script src="https://jahoo.github.io/assets/js/common.js"></script>
202+
</html>
203+

0 commit comments

Comments
 (0)